Levesque, Hector - Department of Computer Science, University of Toronto

Advanced Search

Levesque, Hector - Department of Computer Science, University of Toronto

Incremental Execution of Guarded Theories 1 GIUSEPPE DE GIACOMO
J. LOGIC PROGRAMMING 1994:19, 20:1--679 1 GOLOG: A LOGIC PROGRAMMING
Knowledge Equivalence in Combined Action Theories Ronald P. A. Petrick
The Winograd Schema Challenge Hector J. Levesque
Progression of Situation Calculus Action Theories with Incomplete Information Stavros Vassos and Hector Levesque
What robots can do: Robot programs and effective achievability
A Correctness Result for Reasoning about One-Dimensional Planning Problems Yuxiao Hu and Hector J. Levesque
Volume title 1 The editors
Planning with Loops Hector J. Levesque
Semantics for a useful fragment of the situation calculus Gerhard Lakemeyer
A Logic of Limited Belief for Reasoning with Disjunctive Information Yongmei Liu
Hector Levesque 1 INTRODUCTION
Philip R. Cohen Arti cial Intelligence Center
Is it enough to get the behaviour right? Hector J. Levesque
Ability and Knowing How in the Situation Calculus \Lambda
Towards an Axiom System for Default Logic Gerhard Lakemeyer
A Tractability Result for Reasoning with Incomplete FirstOrder Knowledge Bases Yongmei Liu and Hector J. Levesque
EvaluationBased Reasoning with Disjunctive Information in FirstOrder Knowledge Bases
Only-Knowing: Taking It Beyond Autoepistemic Reasoning Gerhard Lakemeyer
Tractable Reasoning in First-Order Knowledge Bases with Disjunctive Information
Iterated Belief Change in the Situation Calculus Steven Shapiro
Tractable Reasoning with Incomplete First-Order Knowledge in Dynamic Systems with Context-Dependent Actions
Iterated Belief Change in the Situation Calculus6 Steven Shapiroa,
Hector J. Levesque conditional plan
On the Semantics of Deliberation in IndiGolog ---From Theory to Implementation
On the Progression of Situation Calculus Basic Action Theories: Resolving a 10-year-old Conjecture