Conference papers:
First-Order Strong Progression for Local-Effect Basic Action Theories, Stavros Vassos, Gerhard Lakemeyer, and Hector Levesque, Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-08), Sydney, Australia, 2008.
[pdf | citeulike | slides | more]
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture, Stavros Vassos and Hector Levesque, Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-08), pages 1004-1009, Chicago, Illinois, USA, 2008.
[! Selected for the AAAI-08 Outstanding Paper Honorable Mention Award !]
[pdf | citeulike | slides | more]
Progression of Situation Calculus Action Theories with Incomplete Information, Stavros Vassos and Hector Levesque, Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), pages 2024–2029, Hyderabad, India, 2007.
[pdf | citeulike | slides | more]
Workshop papers:
Progressing basic action theories with non-local effect actions, Stavros Vassos, Sebastian Sardina, and Hector Levesque, Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-09), pages 135-140, Toronto, Canada, 2009.
[pdf | citeulike| slides | more]
Practical AI Modules for Non-Player-Characters in Video Games, Stavros Vassos, Presented at the Bell University Labs Workshop: Video Gaming: Technical, Social and Legal Dimensions, University of Toronto, Canada, 2008.
[pdf | citeulike| slides | more]
The Wumpus World in IndiGolog: A Preliminary Report, Sebastian Sardina and Stavros Vassos, Proceedings of the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05), pages 90-95, Edinburgh, Scotland, 2005.
[pdf | citeulike | slides | more]
Theses:
A Reasoning Module for Long-Lived Cognitive Agents, Stavros Vassos, Ph.D. Thesis, Department of Computer Science, University of Toronto, 2009.
[pdf | citeulike | more]
A Feasible Approach to Disjunctive Knowledge in Situation Calculus, Stavros Vassos, M.Sc. Thesis, Department of Computer Science, University of Toronto, 2005.
[pdf | citeulike | more]
Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence, Stavros Vassos, Diploma Thesis, Department of Electrical and Computer Engineering, National Technical University of Athens, 2001.
[pdf (in greek) | citeulike | more]
Other:
Interviewed for the article Giving robots the ability to think and reason in an industrial environment, Mary Del Ciancio, Manufacturing AUTOMATION Magazine, June, 2007.
[url | more]
Panelist in the University of Toronto Interdisciplinary Symposium of the Mind (UTISM-06) panel discussion about Embodiment, Embededness, and the Cognitive Gap, Toronto, 2006.
Panelist in the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-05) about Challenges in Cognitive Robotics, Edinburgh, Scotland, 2005.