Stavros Vassos

I completed my MSc and PhD at the department of Computer Science in the University of Toronto under the supervision of Hector Levesque.   I received my Diploma in Electrical and Computer Engineering in the National Technical University of Athens.

For my MSc and PhD I have been involved with proving theoretical results on reasoning about action and change in the situation calculus, and providing practical solutions for dealing with incomplete information in a way that is tractable.  Also, I am part of the Cognitive Robotics group and I have been an active developer of the high-level agent programming language IndiGolog.

My research interests lie in the fields of knowledge representation and reasoning, intelligent agent design and implementation, and database theory and applications.  I am particularly interested in applications of knowledge representation and reasoning to non-player characters in video games that feature realistic virtual worlds.  You can check the section ai4games for a brief discussion on the challenges and opportunities that lie in this area and the section research for a more detailed list of my research interests.

You can find details about my publications and talks in the section publications.

Finally, you can contact me at or through the social networks listed at the end of this page.