Ximing Wen

3 papers in the IJCAI proceedings

IJCAI 2015

On the Progression of Knowledge and Belief for Nondeterministic Actions in the Situation Calculus

with Liangda Fang, Yongmei Liu

Details PDF

IJCAI 2013

Multi-Agent Epistemic Explanatory Diagnosis via Reasoning about Actions

with Quan Yu, Yongmei Liu

Details PDF

IJCAI 2011

On the Progression of Knowledge in the Situation Calculus

with Yongmei Liu

doi:10.5591/978-1-57735-516-8/IJCAI11-168

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings