Dr. Stavros Vassos
Post-Doctoral Research Associate, Department of Informatics and Telecommunications, National and Kapodistrian University of AthensAthens, Greece
Research field: Computer and Information Science - Artificial Intelligence
- Knowledge Representation and Reasoning
- Reasoning about Actions and Change
- Incomplete Databases
- Congitive Robotics
- Planning
- Applications in Video Games
Publications
-
Conference Proceedings (7)
-
Manolis Koubarakis, Kostis Kyzirakos, Manos Karpathiotakis et al. (2011) Challenges for Qualitative Spatial Reasoning in Linked Geospatial Data. In IJCAI 2011 Workshop on Benchmarks and Applications of Spatial Reasoning (BASR-11).
-
Stavros Vassos, Gerhard Lakemeyer, Hector Levesque (2009) First-Order Strong Progression for Local-Effect Basic Action Theories, 662-672.
-
Stavros Vassos, Stavros Sardina, Hector Levesque (2009) Progressing basic action theories with non-local effect actions.
-
Stavros Vassos, Hector Levesque (2008) On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture, 1004-1009.
-
Stavros Vassos, Stavros Sardina, Hector Levesque (2008) Progressing basic action theories with non-local effect actions, 135-140.
-
Stavros Vassos, Hector Levesque (2007) Progression of Situation Calculus Action Theories with Incomplete Information, 2024-2029.
-
Sebastian Sardina, Stavros Vassos (2005) The Wumpus World in IndiGolog: A Preliminary Report, 90-95.
-
-
Thesis (3)
-
Stavros Vassos (2009) A Reasoning Module for Long-Lived Cognitive Agents.
-
Stavros Vassos (2005) A Feasible Approach to Disjunctive Knowledge in Situation Calculus.
-
Stavros Vassos (2001) Nonmonotonic Logical Approaches for the Frame Problem in Artificial Intelligence.
-
Awards and Grants
-
Jul 2008AAAI Outstanding Paper Honourable Mention View website
Biographical Information
No biographical information added yet.
CV
Professional Experience
2010 - Present
Post-Doctoral Research Associate at Department of Informatics and Telecommunications, National and Kapodistrian University of Athens
Athens, Greece
Athens, Greece
Jan 2007 - Apr 2007
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
SCI199S/07: “Computers and thought”
Toronto, Canada
Classes taught:
SCI199S/07: “Computers and thought”
Sep 2006 - Dec 2006
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
SCI199F/06: “Computers and thought”
Toronto, Canada
Classes taught:
SCI199F/06: “Computers and thought”
Jan 2006 - Apr 2006
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
CSC236S/06: “Introduction to the theory of computation”
Toronto, Canada
Classes taught:
CSC236S/06: “Introduction to the theory of computation”
Sep 2005 - Dec 2005
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
CSC330F/05: “Logical specifications”
Toronto, Canada
Classes taught:
CSC330F/05: “Logical specifications”
Sep 2004 - Dec 2004
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
CSC108F/04: “Introduction to Computer Programming”
Toronto, Canada
Classes taught:
CSC108F/04: “Introduction to Computer Programming”
Jan 2004 - Apr 2004
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
CSC236S/04: “Introduction to the theory of computation”
Toronto, Canada
Classes taught:
CSC236S/04: “Introduction to the theory of computation”
Sep 2002 - Dec 2002
Teaching Assistant at Department of Computer Science, University of Toronto
Toronto, Canada
Classes taught:
CSC228F/02: “File structures and data management”
Toronto, Canada
Classes taught:
CSC228F/02: “File structures and data management”
Sep 2002 - Sep 2008
Mar 2002 - Jun 2002
Software engineer at Electrical and Computer Engineering,National Technical University of Athens
Athens, Greece
Athens, Greece
Aug 2000 - Oct 2000
Education
Jan 2005 - Nov 2009
Department of Computer Science, University of Toronto
in Toronto, Canada
Doctor of Philosophy (Ph.D.)
Doctor of Philosophy (Ph.D.)
Sep 2002 - Dec 2004
Sep 1997 - Nov 2001
Electrical and Computer Engineering,National Technical University of Athens
in Athens, Greece
Diploma (B.Sc. and M.Sc.)
Diploma (B.Sc. and M.Sc.)
Publication Statistics
Graphed by cumulative total
Graphed by month
Graphed by day
Graphed by day
Data temporarily unavailable.
Not enough data available.
Public Groups
Public groups Stavros is a member of
- Not a member of any groups yet.
Public groups Stavros is following
- Not following any groups yet.
- Find new public groups.
Destinations
Sign up today - FREE
Mendeley saves you time finding and organizing research. Learn more