Book chapters:
A Database-type Approach for Progressing Action Theories with Bounded Effects, Stavros Vassos, Sebastian Sardina, In Gerhard Lakemeyer and Sheila McIlraith, editors, Knowing, Reasoning, and Acting: Essays in Honour of Hector J. Levesque, College Publications, 2011.
[pdf | citeulike | more]
Referred Conference Publications:
First-Order Strong Progression for Local-Effect Basic Action Theories, Stavros Vassos, Gerhard Lakemeyer, and Hector Levesque, In Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR-2008), 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, In Proceedings of the Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-2008), 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, In Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-2007), pages 2024–2029, Hyderabad, India, 2007.
[pdf | citeulike | slides | more]
Referred Workshop Publications:
The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs, Stavros Vassos, Michail Papakonstantinou, In Proceedings of the Non-Player Character AI workshop (NPCAI-2011) of the Artificial Intelligence & Interactive Digital Entertainment (AIIDE-2011) Conference, Stanford CA, USA, 2011.
[pdf | citeulike | slides | more]
Challenges for Qualitative Spatial Reasoning in Linked Geospatial Data, Manolis Koubarakis, Kostis Kyzirakos, Manos Karpathiotakis, Charalampos Nikolaou, Michael Sioutis, Stavros Vassos, Dimitrios Michail, Themistoklis Herekakis, Charalampos Kontoes and Ioannis Papoutsis, In Proceedings of the IJCAI 2011 Workshop on Benchmarks and Applications of Spatial Reasoning (BASR-2011), Barcelona, Spain, 2011.
[pdf | citeulike | slides | more]
Progressing basic action theories with non-local effect actions, Stavros Vassos, Sebastian Sardina, and Hector Levesque, In Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (CS-2009), pages 135-140, Toronto, Canada, 2009.
[pdf | citeulike| slides | more]
Progressing basic action theories with non-local effect actions (short paper), Stavros Vassos, Sebastian Sardina, and Hector Levesque, In Proceedings of the 7th Panhellenic Logic Symposium (PLS-2009), Patras, Greece, 2009.
[pdf | citeulike| slides | more]
The Wumpus World in IndiGolog: A Preliminary Report, Sebastian Sardina and Stavros Vassos, In Proceedings of the Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC-2005), 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]
Invited Talks:
- SRI International’s Artificial Intelligence Center, Menlo Park, CA USA, 2011. Title: The SimpleFPS Planning Domain: A PDDL Benchmark for Proactive NPCs.
- 2nd Hellenic Artificial Intelligence Summer School (HAISS-2011) organized by the Hellenic Artificial Intelligence Society (EETN) and the Technoesis network of the University of Patras, Greece. Seminar title: Planning and possible applications in video games.
- National Centre for Scientific Research Demokritos, Institute of Informatics and Telecommunications, Athens, Greece, 2010. Title: Progression of Basic Action Theories in the Situation Calculus, 4 Results and an Application in Video Games.
- 4th Athens Colloquium on Algorithms and Complexity (ACAC), Athens, Greece, 2009. Title: On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture.
- Royal Melbourne Institute of Technology, Computer Science and Information Technology, Melbourne, Australia, 2008. Title: Progression of Basic Action Theories in the Situation Calculus, 4 Results and an Application in Video Games.
- Bell University Labs Workshop, Video Gaming at University of Toronto: Technical, Social and Legal Dimensions, Toronto, Canada, 2008. Title: Practical AI Modules for Non-Player-Characters in Video Games.
- Manufacturing Automation Magazine, Toronto, Canada, 2007. Interviewed for the article: Giving robots the ability to think and reason in an industrial environment [more].
- University of Toronto Interdisciplinary Symposium of the Mind (UTISM), Toronto, Canada, 2006. Panelist in a discussion with title: Embodiment, Embededness, and the Cognitive Gap.
- 6th Nonmonotonic Reasoning, Action and Change Workshop at IJCAI (NRAC), Edinburgh, Scotland, 2005. Panelist in a discussion with title: Challenges in Cognitive Robotics.