BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Levesque:Hector_J=

Facilitated 1 volumes:

KR 1989Ed

Contributed to:

KR 20142014
KR 20122012
KR 20102010
KR 20082008
KR 20062006
KR 20042004
KR 20022002
KR 20002000
KR 19981998

Wrote 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).
Forgetting in Action (DR, HJL, MP, MT).
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.