Ron van der Meyden

Computer Science and Engineering , University of New South Wales , Australia

2 papers in the IJCAI proceedings

IJCAI 2011

Model Checking Knowledge in Pursuit Evasion Games

with Xiaowei Huang, Patrick Maupin

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

Details PDF

IJCAI 1991

Indefinite Reasoning with Definite Rules

with L. Thorne McCarty

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings