Dylla, Frank; Ferrein, Alexander; Lakemeyer, Gerhard; Murray, Jan; Obst, Oliver; Röfer, Thomas; Schiffer, Stefan; Stolzenburg, Frieder; Visser, Ubbo; Wagner, Thomas
Approaching a formal soccer theory from behaviour specifications in robotic soccer
Computer in Sports, p.161 - 185, (2008)
 Export: Tagged XML BibTex

Levesque, Hector; Lakemeyer, Gerhard
Cognitive Robotics
Handbook of Knowledge Representation, (2007)  Notes: to appear
 Export: Tagged XML BibTex   Download:  CogRobKRHandbook.pdf 

Böhnstedt, Lutz; Ferrein, Alexander; Lakemeyer, Gerhard
Options in readylog reloaded – generating decision-theoretic plan libraries in golog
KI 2007: Advances in Artificial Intelligence, Volume 4667, p. 352 - 366, (2007)
 Export: Tagged XML BibTex   Download:  BoehnstedtFerreinLakemeyer-KI07.pdf 

Levesque,; Lakemeyer, Gerhard
The Logic of Knowledge Bases
, (2001)
 Export: Tagged XML BibTex

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

Wisspeintner, Thomas; van der Zant, Tijn; Iocchi, Luca; Schiffer, Stefan
RoboCup@Home: Scientific Competition and Benchmarking for Domestic Service Robots
Interaction Studies, Special Issue: Robots in the Wild, (2009)  Notes: to appear
 Export: Tagged XML BibTex

Alexander Ferrein; Gerhard Lakemeyer
Logic-based Robot Control in Highly Dynamic Domains
Robotics and Autonomous Systems, (2008)  Notes: to appear in the Special Issue on "Semantic Knowledge in Robotics"
 Export: Tagged XML BibTex   Download:  readylog.pdf 

Calmes, Laurent; Lakemeyer, Gerhard; Wagner, Hermann
Azimuthal sound localization using coincidence of timing across frequency on a robotic platform
Journal of the Acoustical Society of America, Volume 121, Number 4, ASA, p.2034--2048, (2007)
 Export: Tagged XML BibTex   Download:  calmes2007jasa.pdf 

Gans, G.; Jarke, M.; Lakemeyer, G.; Schmitz, D.
Deliberation in a Metadata Based Modeling and Simulation Environment for Inter Organizational Networks
Information Systems, Special Issue on Selected Papers From CAiSE03 Elsevier, (2005)  Notes: to appear
 Export: Tagged XML BibTex   Download:  GJLS04InfSys.pdf 

Ferrein, A.; Fritz, Ch.; Lakemeyer, G.
Using Golog for Deliberation and Team Coordination in Robotic Soccer
KI Künstliche Intelligenz, Number 1, (2005)
 Export: Tagged XML BibTex   Download:  Ferrein2005Using.pdf 

Gans, Günter; Jarke, Matthias; Kethers, Stefanie; Lakemeyer, Gerhard
Continuous Requirements Management for Organization Networks: A (Dis)Trust-Based Approach
Requirements Engineering Journal, Selected Papers from RE'01, Springer, Feb., Volume 8, Number 1, p.4-22, (2003)
 Export: Tagged XML BibTex

Iwan, Gero
History-based Diagnosis Templates in the Framework of the Situation Calculus
AI Communications, Volume 15, Number 1, (2002)
 Export: Tagged XML BibTex

Halpern,; Lakemeyer, Gerhard
Multi-Agent Only Knowing
Journal of Logic and Computation, (2001)
 Export: Tagged XML BibTex   Download:  halpern2001.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 

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 

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
Artificial Intelligence, Volume 71, p.1--42, (1994)
 Export: Tagged XML BibTex   Download:  lakemeyer1994.pdf 

Gerhard Lakemeyer; Hector Levesque
A Semantical Account of Progression in the Presence of Defaults
Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), Pasadena, USA, (2009)
 Export: Tagged XML BibTex   Download:  LakLev_Progression_ijcai09.pdf 

Tim Niemueller; Alexander Ferrein; Gerhard Lakemeyer
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao
RoboCup Symposium 2009, 01/07/2009, Graz, Austria, (2009) Abstract  Notes: to appear
 Export: Tagged XML BibTex

Ferrein, Alexander; Schiffer, Stefan; Lakemeyer, Gerhard
Embedding Fuzzy Controllers into Golog
Proceedings of the IEEE International Conference on Fuzzy Systems (FUZZ-IEEE'09), August 20-24, (2009)  Notes: to appear
 Export: Tagged XML BibTex

Yongmei Liu; Gerhard Lakemeyer
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond
Twenty-first International Joint Conference on Artificial Intelligence (IJCAI-09), (2009)
 Export: Tagged XML BibTex   Download:  LiuLak_LocalEffects_ijcai09.pdf 

Wisspeintner, Thomas; van der Zant, Tijn; Iocchi, Luca; Schiffer, Stefan
RoboCup@Home: Results in Benchmarking Domestic Service Robots
RoboCup Symposium 2009, (2009)  Notes: to appear
 Export: Tagged XML BibTex

Jacobs, Stefan; Ferrein, Alexander; Schiffer, Stefan; Beck, Daniel; Lakemeyer, Gerhard
Robust Collision Avoidance in Unknown Domestic Environments
RoboCup Symposium 2009, (2009)  Notes: to appear
 Export: Tagged XML BibTex

Daniel Beck; Gerhard Lakemeyer
Reinforcement Learning for Golog Programs
Relational Approaches to Knowledge Representation and Learning, Workshop at the 32nd Annual Conference on Artificial Intelligence (KI-2009), 15/09/2009, Issue 354, Paderborn, Germany, p.64-78, (2009)
 Export: Tagged XML BibTex   Download:  relkrl09.pdf 

Jens Claßen; Gerhard Lakemeyer
Tractable First-Order Golog with Disjunctive Knowledge Bases
Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), 01/06/2009, Toronto, Canada, (2009)
 Export: Tagged XML BibTex   Download:  CL_TractableGolog.pdf