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

Incompleteness in Knowledge Bases. - Hector J. Levesque (SIGMOD Rec., 1980)

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

A formal treatment of incomplete knowledge bases. - Hector J. Levesque (1981)

Competence in Knowledge Representation. - Ronald J. Brachman; Hector J. Levesque (AAAI, 1982)

The Logic of Incomplete Knowledge Bases. - Hector J. Levesque (On Conceptual Modelling (Intervale), 1982)

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

An Overview of Knowledge Representation. - John Mylopoulos; Hector J. Levesque (GWAI, 1983)

Krypton: A Functional Approach to Knowledge Representation. - Ronald J. Brachman; Richard Fikes; Hector J. Levesque (Computer, 1983)

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

A Logic of Implicit and Explicit Belief. - Hector J. Levesque (AAAI, 1984)

What Makes a Knowledge Base Knowledgeable? A View of Databases from the Knowledge Level. - Ronald J. Brachman; Hector J. Levesque (Expert Database Workshop, 1984)

Foundations of a Functional Approach to Knowledge Representation. - Hector J. Levesque (Artif. Intell., 1984)

Speech Acts and Rationality. - Philip R. Cohen; Hector J. Levesque (ACL, 1985)

The Knowledge Level of a KBMS. - Ronald J. Brachman; Hector J. Levesque (On Knowledge Base Management Systems (Islamorada), 1985)

A View Of Knowledge Representation. - Hector J. Levesque (On Knowledge Base Management Systems (Islamorada), 1985)

Knowledge Level Interfaces to Information Systems. - Hector J. Levesque; Ronald J. Brachman (On Knowledge Base Management Systems (Islamorada), 1985)

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

Tales from the Far Side of KRYPTON. - Ronald J. Brachman; Hector J. Levesque (Expert Database Conf., 1986)

Panel: Objects of Knowledge and Belief: Sentences vs. Propositions? - Robert Stalnaker; Hans Kamp; Kurt Konolige; Hector J. Levesque; Richmond H. Thomason (TARK, 1986)

Making Believers out of Computers. - Hector J. Levesque (Artif. Intell., 1986)

Intention = Choice + Commitment. - Philip R. Cohen; Hector J. Levesque (AAAI, 1987)

All I Know: An Abridged Report. - Hector J. Levesque (AAAI, 1987)

Expressiveness and tractability in knowledge representation and reasoning. - Hector J. Levesque; Ronald J. Brachman (Comput. Intell., 1987)

A Tractable Knowledge Representation Service with Full Introspection. - Gerhard Lakemeyer; Hector J. Levesque (TARK, 1988)

Comments on "Knowledge, Representation, and Rational Self-Government". - Hector J. Levesque (TARK, 1988)

Panel: Locality vs. Rationality. - Stanley J. Rosenchein; Jon Doyle; Ronald Prescott Loui; Hector J. Levesque; Robert S. Moore (TARK, 1988)

The consistency of syntactical treatments of knowledge. - Jim des Rivières; Hector J. Levesque (Comput. Intell., 1988)

Logic and the complexity of reasoning. - Hector J. Levesque (J. Philos. Log., 1988)

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

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

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 (AAAI, 1990)

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

Performatives in a Rationally Based Speech Act Theory. - Philip R. Cohen; Hector J. Levesque (ACL, 1990)

Intention is Choice with Commitment. - Philip R. Cohen; Hector J. Levesque (Artif. Intell., 1990)

All I Know: A Study in Autoepistemic Logic. - Hector J. Levesque (Artif. Intell., 1990)

The Tractability of Path-Based Inheritance. - Bart Selman; Hector J. Levesque (Principles of Semantic Networks, 1991)

Belief and Introspection. - Hector J. Levesque (Artificial and Mathematical Theory of Computation, 1991)

Confirmations and Joint Action. - Philip R. Cohen; Hector J. Levesque (IJCAI, 1991)

Introduction to the Special Volume on Knowledge Representation. - Ronald J. Brachman; Hector J. Levesque; Raymond Reiter (Artif. Intell., 1991)

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

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

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

The Complexity of Path-Based Defeasible Inheritance. - Bart Selman; Hector J. Levesque (Artif. Intell., 1993)

Knowledge, Action, and Ability in the Situation Calculus. - Hector J. Levesque (TARK, 1994)

Preliminaries to a collaborative model of dialogue. - Philip R. Cohen; Hector J. Levesque (Speech Communication, 1994)

Foundations of a Logical Approach to Agent Programming. - Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Richard B. Scherl (ATAL, 1995)

Communicative Actions for Artificial Agents. - Philip R. Cohen; Hector J. Levesque (ICMAS, 1995)

Reasoning about Noisy Sensors in the Situation Calculus. - Fahiem Bacchus; Joseph Y. Halpern; Hector J. Levesque (IJCAI, 1995)

Indexical Knowledge and Robot Action - A Logical Account. - Yves Lespérance; Hector J. Levesque (Artif. Intell., 1995)

Undirected Behaviour Without Unbounded Search. - Ronald J. Brachman; Hector J. Levesque (ACM Comput. Surv., 1995)

What Is Planning in the Presence of Sensing? - Hector J. Levesque (AAAI/IAAI, Vol. 2, 1996)

An Experiment in Using Golog to Build a Personal Banking Assistant. - Yves Lespérance; Hector J. Levesque; Shane J. Ruman (PRICAI Workshop on Intelligent Agent Systems, 1996)

Some Pitfalls for Experimenters with Random SAT. - David G. Mitchell; Hector J. Levesque (Artif. Intell., 1996)

Support Set Selection for Abductive and Default Reasoning. - Bart Selman; Hector J. Levesque (Artif. Intell., 1996)

Generating Hard Satisfiability Problems. - Bart Selman; David G. Mitchell; Hector J. Levesque (Artif. Intell., 1996)

Undirected Behavior Without Unbounded Search. - Ronald J. Brachman; Hector J. Levesque (ACM Comput. Surv., 1996)

An Experiment in Using Golog to Build a Personal Banking Assistant (Extended Abstract). - Yves Lespérance; Hector J. Levesque; Shane J. Ruman (Agents, 1997)

Specifying Communicative Multi-Agent Systems (Invited Paper). - Steven Shapiro; Yves Lespérance; Hector J. Levesque (Agents and Multi-Agent Systems Formalisms, Methodologies, and Applications, 1997)

Controlling Autonomous Robots with GOLOG. - Kenneth Tam; J. Lloyd; Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Daniel Marcu; Raymond Reiter; Michael R. M. Jenkin (Australian Joint Conference on Artificial Intelligence, 1997)

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

GOLOG: A Logic Programming Language for Dynamic Domains. - Hector J. Levesque; Raymond Reiter; Yves Lespérance; Fangzhen Lin; Richard B. Scherl (J. Log. Program., 1997)

AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. - Gerhard Lakemeyer; Hector J. Levesque (KR, 1998)

A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases. - Hector J. Levesque (KR, 1998)

What Robots Can Do. - Hector J. Levesque (KR, 1998)

What Robots Can Do: Robot Programs and Effective Achievability. - Fangzhen Lin; Hector J. Levesque (Artif. Intell., 1998)

Foundations for the Situation Calculus. - Hector J. Levesque; Fiora Pirri; Raymond Reiter (Electron. Trans. Artif. Intell., 1998)

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, 1999)

Reasoning about Noisy Sensors and Effectors in the Situation Calculus. - Fahiem Bacchus; Joseph Y. Halpern; Hector J. Levesque (Artif. Intell., 1999)

The logic of knowledge bases. - Hector J. Levesque; Gerhard Lakemeyer (MIT Press, 2000)

Semantics of Agent Communication Languages for Group Interaction. - Sanjeev Kumar 004; Marcus J. Huber; David McGee; Philip R. Cohen; Hector J. Levesque (AAAI/IAAI, 2000)

Querying AOL Knowledge Bases. - Gerhard Lakemeyer; Hector J. Levesque (Intellectics and Computational Logic, 2000)

An Embedding of ConGolog in 3APL. - Koen V. Hindriks; Yves Lespérance; Hector J. Levesque (ECAI, 2000)

The Adaptive Agent Architecture: Achieving Fault-Tolerance Using Persistent Broker Teams. - Sanjeev Kumar 004; Philip R. Cohen; Hector J. Levesque (ICMAS, 2000)

ConGolog, a concurrent programming language based on the situation calculus. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Artif. Intell., 2000)

Ability and Knowing How in the Situation Calculus. - Yves Lespérance; Hector J. Levesque; Fangzhen Lin; Richard B. Scherl (Stud Logica, 2000)

Incremental execution of guarded theories. - Giuseppe De Giacomo; Hector J. Levesque; Sebastian Sardiña (ACM Trans. Comput. Log., 2001)

The cognitive agents specification language and verification environment for multiagent systems. - Steven Shapiro; Yves Lespérance; Hector J. Levesque (AAMAS, 2002)

Knowledge Equivalence in Combined Action Theories. - Ronald P. A. Petrick; Hector J. Levesque (KR, 2002)

In Memory of Ray Reiter (1939-2002). - Fiora Pirri; Geoffrey E. Hinton; Hector J. Levesque (AI Mag., 2002)

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

Knowledge, action, and the frame problem. - Richard B. Scherl; Hector J. Levesque (Artif. Intell., 2003)

Knowledge Representation and Reasoning. - Ronald J. Brachman; Hector J. Levesque (Elsevier, 2004)

On Ability to Autonomously Execute Agent Programs with Sensing. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (AAMAS, 2004)

Situations, Si! Situation Terms, No! - Gerhard Lakemeyer; Hector J. Levesque (KR, 2004)

A Logic of Limited Belief for Reasoning with Disjunctive Information. - Yongmei Liu 001; Gerhard Lakemeyer; Hector J. Levesque (KR, 2004)

Introduction. - Jürgen Dix; Michael Fisher 001; Hector J. Levesque; Leon Sterling (Ann. Math. Artif. Intell., 2004)

On the Semantics of Deliberation in Indigolog - from Theory to Implementation. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (Ann. Math. Artif. Intell., 2004)

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

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

Semantics for a useful fragment of the situation calculus. - Gerhard Lakemeyer; Hector J. Levesque (IJCAI, 2005)

Planning with Loops. - Hector J. Levesque (IJCAI, 2005)

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

Goal Change. - Steven Shapiro; Yves Lespérance; Hector J. Levesque (IJCAI, 2005)

The 2005 AAAI Classic Paper Awards. - Tom M. Mitchell; Hector J. Levesque (AI Mag., 2005)

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

The Truth About Defaults. - Hector J. Levesque (ECAI, 2006)

On the Limits of Planning over Belief States under Strict Uncertainty. - Sebastian Sardiña; Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque (KR, 2006)

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

Towards a logical theory of coordination and joint ability. - Hojjat Ghaderi; Hector J. Levesque; Yves Lespérance (AAMAS, 2007)

Some Further Thoughts on Expressiveness and Tractability. - Hector J. Levesque (Description Logics, 2007)

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

Goal Change in the Situation Calculus. - Steven Shapiro; Yves Lespérance; Hector J. Levesque (J. Log. Comput., 2007)

On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture. - Stavros Vassos; Hector J. Levesque (AAAI, 2008)

First-Order Strong Progression for Local-Effect Basic Action Theories. - Stavros Vassos; Gerhard Lakemeyer; Hector J. Levesque (KR, 2008)

Cognitive Robotics. - Hector J. Levesque; Gerhard Lakemeyer (Handbook of Knowledge Representation, 2008)

IndiGolog: A High-Level Programming Language for Embedded Reasoning Agents. - Giuseppe De Giacomo; Yves Lespérance; Hector J. Levesque; Sebastian Sardiña (Multi-Agent Programming, Languages, Tools and Applications, 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 (IJCAI, 2009)

10081 Abstracts Collection - Cognitive Robotics. - Gerhard Lakemeyer; Hector J. Levesque; Fiora Pirri (Cognitive Robotics, 2010)

Cognitive Robotics. - Hector J. Levesque; Gerhard Lakemeyer (Cognitive Robotics, 2010)

A Correctness Result for Reasoning about One-Dimensional Planning Problems. - Yuxiao Hu 002; Hector J. Levesque (KR, 2010)

The Winograd Schema Challenge. - Hector J. Levesque (AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning, 2011)

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

A semantic characterization of a useful fragment of the situation calculus with knowledge. - Gerhard Lakemeyer; Hector J. Levesque (Artif. Intell., 2011)

Iterated belief change in the situation calculus. - Steven Shapiro; Maurice Pagnucco; Yves Lespérance; Hector J. Levesque (Artif. Intell., 2011)

The Truth about Defaults. - Hector J. Levesque; Gerhard Lakemeyer (Correct Reasoning, 2012)

Belief Revision with Sensing and Fallible Actions. - James P. Delgrande; Hector J. Levesque (KR, 2012)

Only-Knowing Meets Nonmonotonic Modal Logic. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2012)

The Winograd Schema Challenge. - Hector J. Levesque; Ernest Davis; Leora Morgenstern (KR, 2012)

Reasoning about Continuous Uncertainty in the Situation Calculus. - 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 Probabilities in Dynamic Systems using Goal Regression. - Vaishak Belle; Hector J. Levesque (UAI, 2013)

How to progress a database III. - Stavros Vassos; Hector J. Levesque (Artif. Intell., 2013)

Incorporating Action Models into the Situation Calculus. - Yongmei Liu 001; Hector J. Levesque (Johan van Benthem on Logic and Information Dynamics, 2014)

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

A Logical Theory of Robot Localization. - Vaishak Belle; Hector J. Levesque (AAAI Spring Symposia, 2014)

How to Progress Beliefs in Continuous Domains. - Vaishak Belle; Hector J. Levesque (KR, 2014)

Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2014)

Forgetting in Action. - David Rajaratnam; Hector J. Levesque; Maurice Pagnucco; Michael Thielscher (KR, 2014)

On our best behaviour. - Hector J. Levesque (Artif. Intell., 2014)

Towards Tractable Inference for Resource-Bounded Agents. - Toryn Q. Klassen; Sheila A. McIlraith; Hector J. Levesque (AAAI Spring Symposia, 2015)

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

Adding DL-Lite TBoxes to Proper Knowledge Bases. - Giuseppe De Giacomo; Hector J. Levesque (ISWC (1), 2015)

Robot location estimation in the situation calculus. - Vaishak Belle; Hector J. Levesque (J. Appl. Log., 2015)

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

Foundations for Generalized Planning in Unbounded Stochastic Domains. - Vaishak Belle; Hector J. Levesque (KR, 2016)

Decidable Reasoning in a Logic of Limited Belief with Function Symbols. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2016)

A Logical Theory of Localization. - Vaishak Belle; Hector J. Levesque (Stud Logica, 2016)

Towards Representing What Readers of Fiction Believe. - Toryn Q. Klassen; Hector J. Levesque; Sheila A. McIlraith (COMMONSENSE, 2017)

Specifying Plausibility Levels for Iterated Belief Change in the Situation Calculus. - Toryn Q. Klassen; Sheila A. McIlraith; Hector J. Levesque (KR, 2018)

Reasoning about discrete and continuous noisy sensors and effectors in dynamical systems. - Vaishak Belle; Hector J. Levesque (Artif. Intell., 2018)

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

An Epistemic Approach to Nondeterminism: Believing in the Simplest Course of Events. - James P. Delgrande; Hector J. Levesque (Stud Logica, 2019)

Changing Beliefs about Domain Dynamics in the Situation Calculus. - Toryn Q. Klassen; Sheila A. McIlraith; Hector J. Levesque (KR, 2020)

A First-Order Logic of Limited Belief Based on Possible Worlds. - Gerhard Lakemeyer; Hector J. Levesque (KR, 2020)

Regression and progression in stochastic domains. - Vaishak Belle; Hector J. Levesque (Artif. Intell., 2020)

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