Home

Publications

Export (11) results:[Tagged][XML][BibTex]
Sort by:[Year][Title][Type][Author]
Filters: author is Levesque  [Clear All Filters]
2008
Stavros Vassos; Gerhard Lakemeyer; Hector. J. Levesque
First-Order Strong Progression for Local-Effect Basic Action Theories
11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008)
 Export: Tagged XML BibTex   Download:  localeffect.pdf 
2007
Levesque, Hector; Lakemeyer, Gerhard
Cognitive Robotics
Handbook of Knowledge Representation, (2007)  Notes: to appear
 Export: Tagged XML BibTex   Download:  CogRobKRHandbook.pdf 
2006
Lakemeyer, Gerhard; Levesque,
Towards an Axiom System for Default Logic
Proc. AAAI-06, (2006)  Notes: to appear
 Export: Tagged XML BibTex   Download:  Lakemeyer2006Towards.pdf 
2005
Lakemeyer, Gerhard; Levesque,
Only-knowing: taking it beyond autoepistemic reasoning
Proc. AAAI 2005, (2005)  Notes: to appear
 Export: Tagged XML BibTex   Download:  Lakemeyer2005Onlyknowing1.pdf 
Lakemeyer, Gerhard; Levesque,
Semantics for a useful fragment of the situation calculus
Proc. IJCAI-05, (2005)
 Export: Tagged XML BibTex   Download:  Lakemeyer2005Semantic.pdf 
2004
Liu, Y.; Lakemeyer, G.; Levesque,
A Logic of Limited Belief for Reasoning with Disjunctive Information
9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004), (2004)  Notes: to appear
 Export: Tagged XML BibTex   Download:  LiuKR04LimitedBelief.pdf 
Lakemeyer, G.; Levesque,
Situations, si! Situation Terms, no!
9th Conf. on Principles of Knowledge Representation and Reasoning (KR2004), (2004)  Notes: to appear
 Export: Tagged XML BibTex   Download:  LakKR04SiNo.pdf 
2002
Lakemeyer, Gerhard; Levesque,
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases
KR-02, (2002)
 Export: Tagged XML BibTex   Download:  lakemeyer2002.pdf 
2001
Levesque,; Lakemeyer, Gerhard
The Logic of Knowledge Bases
, (2001)
 Export: Tagged XML BibTex
1999
Lakemeyer, Gerhard; Levesque,
Query Evaluation and Progression in {AOL} Knowledge Bases
IJCAI-99, (1999)
 Export: Tagged XML BibTex   Download:  lakemeyer1999.pdf 
1998
Lakemeyer, Gerhard; Levesque,
{AOL}: a logic of acting, sensing, knowing, and only knowing
KR-98, (1998)
 Export: Tagged XML BibTex   Download:  lakemeyer1998.pdf