Vassos, Stavros

3 publications

IJCAI 2013 A Classification of First-Order Progressable Action Theories in Situation Calculus Stavros Vassos, Fabio Patrizi

AAAI 2008 On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture Stavros Vassos, Hector J. Levesque

IJCAI 2007 Progression of Situation Calculus Action Theories with Incomplete Information Stavros Vassos, Hector J. Levesque