Gerhard Lakemeyer

Best Publications

• Experiences with an interactive museum tour-guide robot

  Wolfram Burgard;Armin B. Cremers;Dieter Fox;Dirk Hähnel

  1181
  Citations

• The interactive museum tour-guide robot

  Wolfram Burgard;Armin B. Cremers;Dieter Fox;Dirk Hähnel

  858
  Citations

• Exploring artificial intelligence in the new millennium

  Gerhard Lakemeyer;Bernhard Nebel

  419
  Citations

• The logic of knowledge bases

  Hector J. Levesque;Gerhard Lakemeyer

  277
  Citations

• Experiences with an Interactive Museum Tour-Guide Robot

  Unknown

  146
  Citations

• GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot

  Dirk Hähnel;Wolfram Burgard;Gerhard Lakemeyer

  96
  Citations

• Foundations of Knowledge Representation and Reasoning

  Gerhard Lakemeyer;Bernhard Nebel

  88
  Citations

• AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.

  Gerhard Lakemeyer;Hector J. Levesque

  87
  Citations

• Logic-based robot control in highly dynamic domains

  Unknown

  74
  Citations

• Continuous requirements management for organisation networks: a (dis)trust-based approach

  Günter Gans;Matthias Jarke;Stefanie Kethers;Gerhard Lakemeyer

  69
  Citations

• A logic for non-terminating Golog programs

  Unknown

  64
  Citations

• Situations, Si! situation terms, No!

  Gerhard Lakemeyer;Hector J. Levesque

  64
  Citations

• Towards a league-independent qualitative soccer theory for robocup

  Frank Dylla;Alexander Ferrein;Gerhard Lakemeyer;Jan Murray

  64
  Citations

• FactDAG: Formalizing Data Interoperability in an Internet of Production

  Lars Gleim;Jan Pennekamp;Martin Liebenberg;Melanie Buchsbaum

  61
  Citations

• A semantic characterization of a useful fragment of the situation calculus with knowledge

  Gerhard Lakemeyer;Hector J. Levesque

  59
  Citations

• Towards an integration of Golog and planning

  Jens Claßen;Patrick Eyerich;Gerhard Lakemeyer;Bernhard Nebel

  57
  Citations

• Design Principles of the Component-Based Robot Software Framework Fawkes

  Unknown

  54
  Citations

• On first-order definability and computability of progression for local-effect actions and beyond

  Yongmei Liu;Gerhard Lakemeyer

  53
  Citations

• On sensing and off-line interpreting in GOLOG

  Unknown

  49
  Citations

• STEPS TOWARDS A FIRST-ORDER LOGIC OF EXPLICIT AND IMPLICIT BELIEF

  Unknown

  48
  Citations