3 Gerhard Lakemeyer Hector Levesque 2009 A Semantical Account of Progression in the Presence of Defaults Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09) Pasadena, USA AAAI Press 3 Stavros Vassos Gerhard Lakemeyer Hector. J. Levesque 2008 First-Order Strong Progression for Local-Effect Basic Action Theories 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008) Sydney, Australia AAAI Press 7 Levesque, Hector Lakemeyer, Gerhard 2007 Cognitive Robotics Frank van Harmelen and Vladimir Lifschitz and Bruce Porter Handbook of Knowledge Representation Elsevier to appear 3 Lakemeyer, Gerhard Levesque, 2006 Towards an Axiom System for Default Logic Proc. AAAI-06 AAAI Press to appear 3 Lakemeyer, Gerhard Levesque, 2005 Only-knowing: taking it beyond autoepistemic reasoning Proc. AAAI 2005 to appear 3 Lakemeyer, Gerhard Levesque, 2005 Semantics for a useful fragment of the situation calculus Proc. IJCAI-05 3 Liu, Y. Lakemeyer, G. Levesque, 2004 A Logic of Limited Belief for Reasoning with Disjunctive Information 9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004) AAAI Press to appear 3 Lakemeyer, G. Levesque, 2004 Situations, si! Situation Terms, no! 9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004) AAAI Press to appear 3 Lakemeyer, Gerhard Levesque, 2002 Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases KR-02 7 Levesque, Lakemeyer, Gerhard 2001 The Logic of Knowledge Bases MIT Press 3 Lakemeyer, Gerhard Levesque, 1999 Query Evaluation and Progression in {AOL} Knowledge Bases IJCAI-99 3 Lakemeyer, Gerhard Levesque, 1998 {AOL}: a logic of acting, sensing, knowing, and only knowing KR-98