| 2026 | KR | A Logic of Limited Belief with Introspection Based on Possible Worlds. | Gerhard Lakemeyer, Hector J. Levesque |
| 2022 | AAAI | Toward a New Science of Common Sense. | Ronald J. Brachman, Hector J. Levesque |
| 2020 | KR | Changing Beliefs about Domain Dynamics in the Situation Calculus. | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2020 | KR | A First-Order Logic of Limited Belief Based on Possible Worlds. | Gerhard Lakemeyer, Hector J. Levesque |
| 2019 | IJCAI | A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. | Gerhard Lakemeyer, Hector J. Levesque |
| 2018 | KR | Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. | Toryn Q. Klassen, Sheila A. McIlraith, Hector J. Levesque |
| 2016 | AAAI | A First-Order Logic of Probability and Only Knowing in Unbounded Domains. | Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque |
| 2016 | KR | Foundations for Generalized Planning in Unbounded Stochastic Domains. | Vaishak Belle, Hector J. Levesque |
| 2016 | KR | Decidable Reasoning in a Logic of Limited Belief with Function Symbols. | Gerhard Lakemeyer, Hector J. Levesque |
| 2015 | IJCAI | ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains. | Vaishak Belle, Hector J. Levesque |
| 2014 | AAAI | PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains. | Vaishak Belle, Hector J. Levesque |
| 2014 | KR | How to Progress Beliefs in Continuous Domains. | Vaishak Belle, Hector J. Levesque |
| 2014 | KR | Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. | Gerhard Lakemeyer, Hector J. Levesque |
| 2014 | KR | Forgetting in Action. | David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher |
| 2013 | IJCAI | Reasoning about Continuous Uncertainty in the Situation Calculus. | Vaishak Belle, Hector J. Levesque |
| 2013 | IJCAI | A Formal Account of Nondeterministic and Failed Actions. | James P. Delgrande, Hector J. Levesque |
| 2013 | IJCAI | Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. | Gerhard Lakemeyer, Hector J. Levesque |
| 2013 | UAI | Reasoning about Probabilities in Dynamic Systems using Goal Regression. | Vaishak Belle, Hector J. Levesque |
| 2012 | KR | Belief Revision with Sensing and Fallible Actions. | James P. Delgrande, Hector J. Levesque |
| 2012 | KR | Only-Knowing Meets Nonmonotonic Modal Logic. | Gerhard Lakemeyer, Hector J. Levesque |
| 2012 | KR | The Winograd Schema Challenge. | Hector J. Levesque, Ernest Davis, Leora Morgenstern |
| 2011 | IJCAI | Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2011 | IJCAI | A Correctness Result for Reasoning about One-Dimensional Planning Problems. | Yuxiao Hu, Hector J. Levesque |
| 2010 | KR | A Correctness Result for Reasoning about One-Dimensional Planning Problems. | Yuxiao Hu, Hector J. Levesque |
| 2009 | IJCAI | A Semantical Account of Progression in the Presence of Defaults. | Gerhard Lakemeyer, Hector J. Levesque |
| 2009 | IJCAI | Is It Enough to Get the Behavior Right? | Hector J. Levesque |
| 2008 | AAAI | On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. | Stavros Vassos, Hector J. Levesque |
| 2008 | KR | First-Order Strong Progression for Local-Effect Basic Action Theories. | Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque |
| 2007 | AAAI | A Logical Theory of Coordination and Joint Ability. | Hojjat Ghaderi, Hector J. Levesque, Yves Lesprance |
| 2007 | IJCAI | Progression of Situation Calculus Action Theories with Incomplete Information. | Stavros Vassos, Hector J. Levesque |
| 2006 | AAAI | Towards an Axiom System for Default Logic. | Gerhard Lakemeyer, Hector J. Levesque |
| 2006 | ECAI | The Truth About Defaults. | Hector J. Levesque |
| 2006 | KR | On the Limits of Planning over Belief States under Strict Uncertainty. | Sebastian Sardia, Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 2005 | AAAI | Only-Knowing: Taking It Beyond Autoepistemic Reasoning. | Gerhard Lakemeyer, Hector J. Levesque |
| 2005 | AAAI | Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information. | Yongmei Liu, Hector J. Levesque |
| 2005 | IJCAI | Semantics for a useful fragment of the situation calculus. | Gerhard Lakemeyer, Hector J. Levesque |
| 2005 | IJCAI | Planning with Loops. | Hector J. Levesque |
| 2005 | IJCAI | Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions. | Yongmei Liu, Hector J. Levesque |
| 2005 | IJCAI | Goal Change. | Steven Shapiro, Yves Lesprance, Hector J. Levesque |
| 2004 | KR | Situations, Si! Situation Terms, No! | Gerhard Lakemeyer, Hector J. Levesque |
| 2004 | KR | A Logic of Limited Belief for Reasoning with Disjunctive Information. | Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque |
| 2003 | IJCAI | A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases. | Yongmei Liu, Hector J. Levesque |
| 2002 | KR | On the Semantics of Deliberation in IndiGolog: From Theory to Implementation. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque, Sebastian Sardia |
| 2002 | KR | Knowledge Equivalence in Combined Action Theories. | Ronald P. A. Petrick, Hector J. Levesque |
| 2000 | AAAI | Semantics of Agent Communication Languages for Group Interaction. | Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque |
| 2000 | ECAI | An Embedding of ConGolog in 3APL. | Koen V. Hindriks, Yves Lesprance, Hector J. Levesque |
| 2000 | KR | Iterated Belief Change in the Situation Calculus. | Steven Shapiro, Maurice Pagnucco, Yves Lesprance, Hector J. Levesque |
| 1999 | IJCAI | Projection Using Regression and Sensors. | Giuseppe De Giacomo, Hector J. Levesque |
| 1999 | IJCAI | Query Evaluation and Progression in AOL Knowledge Bases. | Gerhard Lakemeyer, Hector J. Levesque |
| 1998 | KR | AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. | Gerhard Lakemeyer, Hector J. Levesque |
| 1998 | KR | A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. | Hector J. Levesque |
| 1998 | KR | What Robots Can Do. | Hector J. Levesque |
| 1997 | IJCAI | Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus. | Giuseppe De Giacomo, Yves Lesprance, Hector J. Levesque |
| 1996 | AAAI | What Is Planning in the Presence of Sensing? | Hector J. Levesque |
| 1996 | PRICAI | An Experiment in Using Golog to Build a Personal Banking Assistant. | Yves Lesprance, Hector J. Levesque, Shane J. Ruman |
| 1995 | IJCAI | Reasoning about Noisy Sensors in the Situation Calculus. | Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque |
| 1994 | TARK | Knowledge, Action, and Ability in the Situation Calculus. | Hector J. Levesque |
| 1993 | AAAI | The Frame Problem and Knowledge-Producing Actions. | Richard B. Scherl, Hector J. Levesque |
| 1992 | AAAI | Hard and Easy Distributions of SAT Problems. | David G. Mitchell, Bart Selman, Hector J. Levesque |
| 1992 | AAAI | A New Method for Solving Hard Satisfiability Problems. | Bart Selman, Hector J. Levesque, David G. Mitchell |
| 1991 | IJCAI | Confirmations and Joint Action. | Philip R. Cohen, Hector J. Levesque |
| 1990 | AAAI | Indexical Knowledge in Robot Plans. | Yves Lesprance, Hector J. Levesque |
| 1990 | AAAI | On Acting Together. | Hector J. Levesque, Philip R. Cohen, Jos H. T. Nunes |
| 1990 | AAAI | Abductive and Default Reasoning: A Computational Core. | Bart Selman, Hector J. Levesque |
| 1990 | ACL | Performatives in a Rationally Based Speech Act Theory. | Philip R. Cohen, Hector J. Levesque |
| 1989 | IJCAI | A Knowledge-Level Account of Abduction. | Hector J. Levesque |
| 1989 | IJCAI | The Tractability of Path-Based Inheritance. | Bart Selman, Hector J. Levesque |
| 1988 | TARK | A Tractable Knowledge Representation Service with Full Introspection. | Gerhard Lakemeyer, Hector J. Levesque |
| 1988 | TARK | Comments on "Knowledge, Representation, and Rational Self-Government". | Hector J. Levesque |
| 1988 | TARK | Panel: Locality vs. Rationality. | Stanley J. Rosenchein, Jon Doyle, Ronald Prescott Loui, Hector J. Levesque, Robert S. Moore |
| 1987 | AAAI | Intention = Choice + Commitment. | Philip R. Cohen, Hector J. Levesque |
| 1987 | AAAI | All I Know: An Abridged Report. | Hector J. Levesque |
| 1986 | TARK | The Consistency of Syntactical Treatments of Knowledge. | Jim des Rivires, Hector J. Levesque |
| 1986 | TARK | Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? | Robert Stalnaker, Hans Kamp, Kurt Konolige, Hector J. Levesque, Richmond H. Thomason |
| 1985 | ACL | Speech Acts and Rationality. | Philip R. Cohen, Hector J. Levesque |
| 1985 | IJCAI | An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON. | Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque |
| 1984 | AAAI | The Tractability of Subsumption in Frame-Based Description Languages. | Ronald J. Brachman, Hector J. Levesque |
| 1984 | AAAI | A Logic of Implicit and Explicit Belief. | Hector J. Levesque |
| 1983 | AAAI | KRYPTON: Integrating Terminology and Assertion. | Ronald J. Brachman, Hector J. Levesque, Richard Fikes |
| 1983 | KI | An Overview of Knowledge Representation. | John Mylopoulos, Hector J. Levesque |
| 1982 | AAAI | Competence in Knowledge Representation. | Ronald J. Brachman, Hector J. Levesque |
| 1981 | IJCAI | The Interaction with Incomplete Knowledge Bases: A Formal Treatment. | Hector J. Levesque |
| 1980 | SIGMOD | Incompleteness in Knowledge Bases. | Hector J. Levesque |
| 1977 | IJCAI | An Overview of a Procedural Approach to Semantic Networks. | Hector J. Levesque, John Mylopoulos |