Stavros Vassos

Department of Computer Science University of Toronto Toronto , ON , CANADA

2 papers in the IJCAI proceedings

IJCAI 2013

A Classification of First-Order Progressable Action Theories in Situation Calculus

with Fabio Patrizi

Details PDF

IJCAI 2007

Progression of Situation Calculus Action Theories with Incomplete Information

with Hector J. Levesque

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings