Author: Stavros Vassos [RDF, Bibtex, BibBase] has 7 publications
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
Stavros Vassos, Hector J. Levesque.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08)
1004-1009
2008
First-Order Strong Progression for Local-Effect Basic Action Theories
Stavros Vassos, Lakemeyer Gerhard, Hector J. Levesque.
Proceedings of the Eleventh International Conference on Principles of Knowledge Representation and Reasoning (KR-08)
2008
First-Order Strong Progression for Local-Effect Basic Action Theories
Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque.
Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, KR 2008, Sydney, Australia, September 16-19, 2008
662-672
2008
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
Stavros Vassos, Hector J. Levesque.
Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence, AAAI 2008, Chicago, Illinois, USA, July 13-17, 2008
1004-1009
2008
Progression of Situation Calculus Action Theories with Incomplete Information
Stavros Vassos, Hector J. Levesque.
IJCAI 2007, Proceedings of the 20th International Joint Conference on Artificial Intelligence, Hyderabad, India, January 6-12, 2007
2029-2024
2007