Hector J. Levesque

Dept. of Computer Science , University of Toronto , Canada

25 papers in the IJCAI proceedings

IJCAI 2019

A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief

with Gerhard Lakemeyer

doi:10.24963/ijcai.2019/244

Details PDF

IJCAI 2015

ALLEGRO: Belief-Based Programming in Stochastic Dynamical Domains

with Vaishak Belle

Details PDF

IJCAI 2013

A Formal Account of Nondeterministic and Failed Actions

with James P. Delgrande

Details PDF

Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals

with Gerhard Lakemeyer

Details PDF

Reasoning about Continuous Uncertainty in the Situation Calculus

with Vaishak Belle

Details PDF

IJCAI 2011

A Correctness Result for Reasoning about One-Dimensional Planning Problems

with Yuxiao Hu

doi:10.5591/978-1-57735-516-8/IJCAI11-439

Details PDF

Efficient Reasoning in Proper Knowledge Bases with Unknown Individuals

with Giuseppe De Giacomo, Yves Lespérance

doi:10.5591/978-1-57735-516-8/IJCAI11-144

Details PDF

IJCAI 2009

A Semantical Account of Progression in the Presence of Defaults

with Gerhard Lakemeyer

Details PDF

Is It Enough to Get the Behavior Right?

Details PDF

IJCAI 2007

Progression of Situation Calculus Action Theories with Incomplete Information

with Stavros Vassos

Details PDF

IJCAI 2005

Goal Change

with Steven Shapiro, Yves Lespérance

Details PDF

Planning with Loops

Details PDF

Semantics for a useful fragment of the situation calculus

with Gerhard Lakemeyer

Details PDF

Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions

with Yongmei Liu

Details PDF

IJCAI 2003

A Tractability Result for Reasoning with Incomplete First-Order Knowledge Bases

with Yongmei Liu

Details PDF

IJCAI 1999

Projection Using Regression and Sensors

with Giuseppe De Giacomo

Details PDF

Query Evaluation and Progression in AOL Knowledge Bases

with Gerhard Lakemeyer

Details PDF

IJCAI 1997

Reasoning about Concurrent Execution Prioritized Interrupts, and Exogenous Actions in the Situation Calculus

with Giuseppe De Giacomo, Yves Lespérance

Details PDF

IJCAI 1995

Reasoning about Noisy Sensors in the Situation Calculus

with Fahiem Bacchus, Joseph Y. Halpern

Details PDF

IJCAI 1991

Confirmations and Joint Action

with Philip R. Cohen

Details PDF

IJCAI 1989

A Knowledge-Level Account of Abduction

Details PDF

The Tractability of Path-Based Inheritance

with Bart Selman

Details PDF

IJCAI 1985

An Essential Hybrid Reasoning System: Knowledge and Symbol Level Accounts of KRYPTON

with Ronald J. Brachman, Victoria P. Gilbert

Details PDF

IJCAI 1981

The Interaction with Incomplete Knowledge Bases: A Formal Treatment

Details PDF

IJCAI 1977

An Overview of a Procedural Approach to Semantic Networks

with John Mylopoulos

Details PDF