Levesque, Hector J.

48 publications

AAAI 2022 Toward a New Science of Common Sense Ronald J. Brachman, Hector J. Levesque

IJCAI 2019 A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief Gerhard Lakemeyer, Hector J. Levesque

AAAI 2016 A First-Order Logic of Probability and Only Knowing in Unbounded Domains Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque

IJCAI 2015 ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains Vaishak Belle, Hector J. Levesque

AAAI 2014 PREGO: An Action Language for Belief-Based Cognitive Robotics in Continuous Domains Vaishak Belle, Hector J. Levesque

IJCAI 2013 A Formal Account of Nondeterministic and Failed Actions James P. Delgrande, Hector J. Levesque

IJCAI 2013 Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals Gerhard Lakemeyer, Hector J. Levesque

IJCAI 2013 Reasoning About Continuous Uncertainty in the Situation Calculus Vaishak Belle, Hector J. Levesque

UAI 2013 Reasoning About Probabilities in Dynamic Systems Using Goal Regression Vaishak Belle, Hector J. Levesque

IJCAI 2011 A Correctness Result for Reasoning About One-Dimensional Planning Problems Yuxiao Hu, Hector J. Levesque

IJCAI 2011 Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

IJCAI 2009 A Semantical Account of Progression in the Presence of Defaults Gerhard Lakemeyer, Hector J. Levesque

IJCAI 2009 Is It Enough to Get the Behavior Right? Hector J. Levesque

AAAI 2008 On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-Year-Old Conjecture Stavros Vassos, Hector J. Levesque

AAAI 2007 A Logical Theory of Coordination and Joint Ability Hojjat Ghaderi, Hector J. Levesque, Yves Lespérance

IJCAI 2007 Progression of Situation Calculus Action Theories with Incomplete Information Stavros Vassos, Hector J. Levesque

AAAI 2006 Towards an Axiom System for Default Logic Gerhard Lakemeyer, Hector J. Levesque

IJCAI 2005 Goal Change Steven Shapiro, Yves Lespérance, Hector J. Levesque

AAAI 2005 Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer, Hector J. Levesque

IJCAI 2005 Planning with Loops Hector J. Levesque

IJCAI 2005 Semantics for a Useful Fragment of the Situation Calculus Gerhard Lakemeyer, Hector J. Levesque

AAAI 2005 Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information Yongmei Liu, Hector J. Levesque

IJCAI 2005 Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions Yongmei Liu, Hector J. Levesque

IJCAI 2003 A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases Yongmei Liu, Hector J. Levesque

AAAI 2000 Semantics of Agent Communication Languages for Group Interaction Sanjeev Kumar, Marcus J. Huber, David McGee, Philip R. Cohen, Hector J. Levesque

IJCAI 1999 Projection Using Regression and Sensors Giuseppe De Giacomo, Hector J. Levesque

IJCAI 1999 Query Evaluation and Progression in AOL Knowledge Bases Gerhard Lakemeyer, Hector J. Levesque

IJCAI 1997 Reasoning About Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus Giuseppe De Giacomo, Yves Lespérance, Hector J. Levesque

AAAI 1996 What Is Planning in the Presence of Sensing? Hector J. Levesque

IJCAI 1995 Reasoning About Noisy Sensors in the Situation Calculus Fahiem Bacchus, Joseph Y. Halpern, Hector J. Levesque

AAAI 1993 The Frame Problem and Knowledge-Producing Actions Richard B. Scherl, Hector J. Levesque

AAAI 1992 A New Method for Solving Hard Satisfiability Problems Bart Selman, Hector J. Levesque, David G. Mitchell

AAAI 1992 Hard and Easy Distributions of SAT Problems David G. Mitchell, Bart Selman, Hector J. Levesque

IJCAI 1991 Confirmations and Joint Action Philip R. Cohen, Hector J. Levesque

AAAI 1990 Abductive and Default Reasoning: A Computational Core Bart Selman, Hector J. Levesque

AAAI 1990 Indexical Knowledge in Robot Plans Yves Lespérance, Hector J. Levesque

AAAI 1990 On Acting Together Hector J. Levesque, Philip R. Cohen, José H. T. Nunes

IJCAI 1989 A Knowledge-Level Account of Abduction Hector J. Levesque

IJCAI 1989 The Tractability of Path-Based Inheritance Bart Selman, Hector J. Levesque

AAAI 1987 All I Know: An Abridged Report Hector J. Levesque

AAAI 1987 Intention = Choice + Commitment Philip R. Cohen, Hector J. Levesque

IJCAI 1985 An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON Ronald J. Brachman, Victoria P. Gilbert, Hector J. Levesque

AAAI 1984 A Logic of Implicit and Explicit Belief Hector J. Levesque

AAAI 1984 The Tractability of Subsumption in Frame-Based Description Languages Ronald J. Brachman, Hector J. Levesque

AAAI 1983 KRYPTON: Integrating Terminology and Assertion Ronald J. Brachman, Hector J. Levesque, Richard Fikes

AAAI 1982 Competence in Knowledge Representation Ronald J. Brachman, Hector J. Levesque

IJCAI 1981 The Interaction with Incomplete Knowledge Bases: A Formal Treatment Hector J. Levesque

IJCAI 1977 An Overview of a Procedural Approach to Semantic Networks Hector J. Levesque, John Mylopoulos