Ferrein, Alexander; Schiffer, Stefan; Lakemeyer, Gerhard
A Fuzzy Logic Semantics for Qualitative Fluents in the Situation Calculus
International Conference on Intelligent Robotics and Applications, October 15-17, Wuhan, China, (2008)  Notes: to appear
 Export: Tagged XML BibTex

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

Masrur Doostdar; Stefan Schiffer; Gerhard Lakemeyer
A Robust Speech Recognition System for Service-Robotics Applications
RoboCup Symposium 2008, (2008)  Notes: Best Student Paper Award
 Export: Tagged XML BibTex   Download:  RoiSpeR_camera.pdf 

Jens Claßen; Gerhard Lakemeyer
A Logic for Non-Terminating Golog Programs
11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, (2008)
 Export: Tagged XML BibTex   Download:  nonterminating.pdf 

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 

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 

Beck, Daniel; Ferrein, Alexander; Lakemeyer, Gerhard
Landmark-based Representations for Navigating Holonomic Soccer Robots
RoboCup Symposium 2008, (2008)
 Export: Tagged XML BibTex

Christoph Mies; Alexander Ferrein; Gerhard Lakemeyer
Repairing Decision-theoretic Policies Using Goal-oriented Planning
31st Annual German Conference on Artificial Intelligence (KI-2008), (2008)  Notes: to appear
 Export: Tagged XML BibTex

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 

Beck, Daniel; Ferrein, Alexander; Lakemeyer, Gerhard
A Simulation Environment for Middle-size Robots with Multi-level Abstraction
Proceedings of the 2007 International RoboCup Symposium, (2007)
 Export: Tagged XML BibTex   Download:  BeckFerreinLakemeyer2007Simulation.pdf 

Claßen, Jens; Hu, Yuxiao; Lakemeyer, Gerhard
A Situation-Calculus Semantics for an Expressive Fragment of PDDL
Twenty-Second Conference on Artificial Intelligence (AAAI-07), (2007)  Notes: to appear
 Export: Tagged XML BibTex   Download:  ClassenHuLakemeyer2007PDDL.pdf 

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

Calmes, Laurent; Wagner, Hermann; Schiffer, Stefan; Lakemeyer, Gerhard
Combining Sound Localization and Laser based Object Recognition
AAAI Spring Symposium, Stanford CA, p.1-6, (2007)
 Export: Tagged XML BibTex   Download:  calmes2007soulabor.pdf 

Gabaldon, Alfredo; Lakemeyer, Gerhard
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting
Twenty-Second Conference on Artificial Intelligence (AAAI-07), (2007)  Notes: to appear
 Export: Tagged XML BibTex   Download:  GabaldonLakemeyer2007ESP.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 

Claßen, Jens; Eyerich, Patrick; Lakemeyer, Gerhard; Nebel, Bernhard
Towards an Integration of Golog and Planning
20th International Joint Conference on Artificial Intelligence (IJCAI-07), (2007)
 Export: Tagged XML BibTex   Download:  ClaEyeLakNeb2007GologPlanning.pdf 

Claßen, Jens; Lakemeyer, Gerhard
A Semantics for ADL as Progression in the Situation Calculus
Proceedings of the 11th Workshop on Nonmonotonic Reasoning, (2006)
 Export: Tagged XML BibTex   Download:  ClaLak06ADLSemantics.pdf 

Claßen, Jens; Lakemeyer, Gerhard
Foundations for Knowledge-Based Programs using ES
10th Conf. on Principles of Knowledge Representation and Reasoning (KR2006), (2006)
 Export: Tagged XML BibTex   Download:  ClassenLakemeyer06Foundations.pdf 

Schiffer, Stefan; Ferrein, Alexander; Lakemeyer, Gerhard
Football is coming Home
Proc. of International Symposium on Practical Cognitive Agents and Robots, Perth, Australia, (2006)
 Export: Tagged XML BibTex   Download:  schiffer2006football.pdf 

Eyerich, Patrick; Nebel, Bernhard; Lakemeyer, Gerhard; Claßen, Jens
Golog and PDDL: What is the Relative Expressiveness?
Proc. of International Symposium on Practical Cognitive Agents and Robots, Perth, Australia, (2006)
 Export: Tagged XML BibTex   Download:  ENLC06RelExp.pdf 

Schiffer, Stefan; Ferrein, Alexander; Lakemeyer, Gerhard
Qualitative World Models for Soccer Robots
Qualitative Constraint Calculi, Workshop at KI 2006, Bremen, p.3--14, (2006)
 Export: Tagged XML BibTex   Download:  schifferFL06kiqcc.pdf 

Lakemeyer, Gerhard; Levesque,
Towards an Axiom System for Default Logic
Proc. AAAI-06, (2006)  Notes: to appear
 Export: Tagged XML BibTex   Download:  Lakemeyer2006Towards.pdf 

Ferrein, A.; Lakemeyer, G.; Hermanns, L.
Comparing Sensor Fusion Techniques for Ball Position Estimation
Proc. RoboCup 2005 Symposium, (2005)  Notes: to appear
 Export: Tagged XML BibTex   Download:  Ferrein2005Comparing.pdf 

Jacobs, S.; Ferrein, A.; Lakemeyer, G.
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language Golog
, (2005)
 Export: Tagged XML BibTex   Download:  Jacobs2005Controlling.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