Lakemeyer, Gerhard
Limited Reasoning in first-order knowledge bases
Artificial Intelligence, Volume 71, p.1--42, (1994)
 Export: Tagged XML BibTex   Download:  lakemeyer1994.pdf 

Halpern,; Lakemeyer, Gerhard
Levesque's axiomatization of only knowing is incomplete
Artificial Intelligence, Volume 74, Number 2, p.381--387, (1995)
 Export: Tagged XML BibTex   Download:  halpern1995.pdf 

Lakemeyer, Gerhard
Limited Reasoning in first-order knowledge bases with full introspection
Artificial Intelligence, Volume 84, p.209--255, (1996)
 Export: Tagged XML BibTex   Download:  lakemeyer1996_2.pdf 

Lakemeyer, Gerhard
Only knowing in the situation calculus
KR-96, (1996)
 Export: Tagged XML BibTex   Download:  lakemeyer1996.pdf 

Beetz, Michael; Grosskreutz, Henrik
Causal Models of Mobile Service Robot Behavior
AIPS-98, (1998)
 Export: Tagged XML BibTex   Download:  Beetz1998Causal.pdf 

Burgard, W.; Cremers, A.B.; Fox, D.; Hähnel, D.; Lakemeyer, Gerhard; Schulz, D.; Steiner, W.; Thrun, S.
The Interactive Museum Tour-Guide Robot
AAAI-98, (1998)
 Export: Tagged XML BibTex   Download:  burgard1998.pdf 

Lakemeyer, Gerhard; Levesque,
{AOL}: a logic of acting, sensing, knowing, and only knowing
KR-98, (1998)
 Export: Tagged XML BibTex   Download:  lakemeyer1998.pdf 

Lakemeyer, Gerhard
On Sensing and Offline-Interpreting in Golog
, Berlin, p.173--187, (1999)
 Export: Tagged XML BibTex   Download:  lakemeyer1999_2.pdf 

Grosskreutz, Henrik
Probabilistic Temporal Projections in {ConGolog}
RoAcPl-99 at IJCAI-99, (1999)
 Export: Tagged XML BibTex   Download:  grosskreutz1999.pdf 

Beetz, Michael; Bennewitz, Maren; Grosskreutz, Henrik
Probabilistic Prediction-based Schedule Debugging for Autonomous Robot Office Couriers
LNAI, Volume 1701, (1999)
 Export: Tagged XML BibTex   Download:  Beetz1999Probabilistic.pdf 

Lakemeyer, Gerhard; Levesque,
Query Evaluation and Progression in {AOL} Knowledge Bases
IJCAI-99, (1999)
 Export: Tagged XML BibTex   Download:  lakemeyer1999.pdf 

Dylla, Frank; Lakemeyer, Gerhard
A Speech Interface for a Mobile Robot controlled by {GOLOG}
CogRob-2000, (2000)
 Export: Tagged XML BibTex   Download:  Dylla2000A.pdf 

Dylla, Frank
Entwurf einer robusten Sprachsteuerung für einen mobilen Roboter
, (2000)
 Export: Tagged XML BibTex   Download:  Dylla2000Entwurf.pdf 

Grosskreutz, Henrik
Probabilistic Projection and Belief Update in the {pGOLOG} Framework
CogRob-00 at ECAI-00, (2000)
 Export: Tagged XML BibTex   Download:  grosskreutz2000.pdf 

Beetz, Michael; Grosskreutz, Henrik
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-driven Robot Behavior
AIPS-2000, (2000)
 Export: Tagged XML BibTex   Download:  Beetz2000Probabilistic.pdf 

Grosskreutz, Henrik; Lakemeyer, Gerhard
Towards more realistic logic-based robot controllers in the {GOLOG} framework
Themenheft "Autonome mobile Systeme" der Zeitschrift KI, Volume 4, (2000)
 Export: Tagged XML BibTex   Download:  Grosskreutz2000Towards.pdf 

Grosskreutz, Henrik; Lakemeyer, Gerhard
Turning High-Level Plans into Robot Programs in Uncertain Domains
ECAI-00, (2000)
 Export: Tagged XML BibTex   Download:  grosskreutz2000_4.pdf 

Grosskreutz, Henrik; Lakemeyer, Gerhard
{cc-Golog}: Towards More Realistic Logic-Based Robot Controllers
NMR-00, (2000)
 Export: Tagged XML BibTex   Download:  grosskreutz2000_2.pdf 

Grosskreutz, Henrik; Lakemeyer, Gerhard
{cc-Golog}: Towards More Realistic Logic-Based Robot Controllers
AAAI-00, (2000)
 Export: Tagged XML BibTex   Download:  grosskreutz2000_3.pdf 

Iwan, Gero
Explaining What Went Wrong in Dynamic Domains
CogRob-00 at ECAI-00, (2000)
 Export: Tagged XML BibTex

Grosskreutz, Henrik; Lakemeyer, Gerhard
Belief Update in the {pGOLOG} Framework
KI-01, (2001)
 Export: Tagged XML BibTex   Download:  grosskreutz2001_2.pdf 

Halpern,; Lakemeyer, Gerhard
Multi-Agent Only Knowing
Journal of Logic and Computation, (2001)
 Export: Tagged XML BibTex   Download:  halpern2001.pdf 

Gans, Günter; Jarke, Matthias; Kethers, Stefanie; Lakemeyer, Gerhard
Modeling the Impact of Trust and Distrust in Agent Networks
AOIS-01 at CAiSE-01, (2001)
 Export: Tagged XML BibTex   Download:  Gans2001Modeling.pdf 

Grosskreutz, Henrik; Lakemeyer, Gerhard
On-Line Execution of {cc-Golog} Plans
IJCAI-01, (2001)
 Export: Tagged XML BibTex   Download:  grosskreutz2001.pdf 

Gans, Günter; Jarke, Matthias; Kethers, Stefanie; Lakemeyer, Gerhard; Ellrich, Lutz; Funken, Christiane; Meister, Martin
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach
RE-01, (2001)
 Export: Tagged XML BibTex   Download:  Gans2001Requirements.pdf