Travelled to:1 × Australia
1 × Austria
1 × France
1 × USA
2 × Canada
2 × Italy
Collaborated with:G.Lakemeyer ∅ Y.Lespérance V.Belle M.Pagnucco J.P.Delgrande Y.Hu S.Sardiña G.D.Giacomo R.P.A.Petrick E.Davis L.Morgenstern S.Vassos Y.Liu D.Rajaratnam M.Thielscher S.Shapiro
Talks about:belief (5) situat (4) reason (4) action (4) theori (3) logic (3) know (3) progress (2) knowledg (2) calculus (2)
Person: Hector J. Levesque
DBLP: Levesque:Hector_J=
Facilitated 1 volumes:
EdContributed to:
201420122010200820062004200220001998Wrote 17 papers:
- KR-2014-BelleL #how
- How to Progress Beliefs in Continuous Domains (VB, HJL).
- KR-2014-LakemeyerL #calculus #decidability #reasoning
- Decidable Reasoning in a Fragment of the Epistemic Situation Calculus (GL, HJL).
- KR-2014-RajaratnamLPT
- Forgetting in Action (DR, HJL, MP, MT).
- KR-2012-DelgrandeL
- Belief Revision with Sensing and Fallible Actions (JPD, HJL).
- KR-2012-LakemeyerL #logic
- Only-Knowing Meets Nonmonotonic Modal Logic (GL, HJL).
- KR-2012-LevesqueDM #challenge
- The Winograd Schema Challenge (HJL, ED, LM).
- KR-2010-HuL #correctness #problem #reasoning
- A Correctness Result for Reasoning about One-Dimensional Planning Problems (YH, HJL).
- KR-2008-VassosLL #first-order
- First-Order Strong Progression for Local-Effect Basic Action Theories (SV, GL, HJL), pp. 662–672.
- KR-2006-SardinaGLL #nondeterminism #on the #strict
- On the Limits of Planning over Belief States under Strict Uncertainty (SS, GDG, YL, HJL), pp. 463–471.
- KR-2004-LakemeyerL #exclamation
- Situations, Si! Situation Terms, No! (GL, HJL), pp. 516–526.
- KR-2004-LiuLL #logic #reasoning
- A Logic of Limited Belief for Reasoning with Disjunctive Information (YL, GL, HJL), pp. 587–597.
- KR-2002-GiacomoLLS #implementation #on the #semantics
- On the Semantics of Deliberation in IndiGolog: From Theory to Implementation (GDG, YL, HJL, SS), pp. 603–614.
- KR-2002-PetrickL #equivalence
- Knowledge Equivalence in Combined Action Theories (RPAP, HJL), pp. 303–314.
- KR-2000-ShapiroPLL #calculus
- Iterated Belief Change in the Situation Calculus (SS, MP, YL, HJL), pp. 527–538.
- KR-1998-LakemeyerL #logic #named
- AOL: A logic of Acting, Sensing, Knowing, and Only Knowing (GL, HJL), pp. 316–329.
- KR-1998-Levesque #first-order #knowledge base #reasoning
- A Completeness Result for Reasoning with Incomplete First-Order Knowledge Bases (HJL), pp. 14–23.
- KR-1998-Levesque98a #what
- What Robots Can Do (HJL), p. 651.