Sotabase

Career

· Researcher, University of Toronto, Cognitive Robotics Group2025–

Publications (54)

2013 IEEE/RSJ International Conference on Intelligent Robots and Systems · 2013
36
cited
International Conference on Interactive Digital Storytelling · 2016
35
cited
Progression of Situation Calculus Action Theories with Incomplete Information
International Joint Conference on Artificial Intelligence · 2007
35
cited
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture
AAAI Conference on Artificial Intelligence · 2008
32
cited
International Conference on Human Factors in Computing Systems · 2019
26
cited
Challenges for Qualitative Spatial Reasoning in Linked Geospatial Data
2011
25
cited
First-Order Strong Progression for Local-Effect Basic Action Theories
International Conference on Principles of Knowledge Representation and Reasoning · 2008
22
cited
Proceedings of the VLDB Endowment · 2012
22
cited
Studia Logica: An International Journal for Symbolic Logic · 2014
19
cited
International Conference on Intelligent Robotics and Applications · 2016
16
cited
The Wumpus World in INDIGOLOG : A Preliminary Report
2005
16
cited
Action-Based Imperative Programming with YAGI
CogRob@AAAI · 2012
14
cited
Artificial Intelligence · 2013
14
cited
European Conference on Artificial Intelligence · 2014
13
cited
Artificial Intelligence and Interactive Digital Entertainment Conference · 2015
12
cited
10
cited
Sotabase
Stavros Vassos | Researcher Profile | Sotabase | Sotabase