Experiences with an interactive museum tour-guide robot W Burgard, AB Cremers, D Fox, D Hähnel, G Lakemeyer, D Schulz, ... Artificial intelligence 114 (1-2), 3-55, 1999 | 2024 | 1999 |
The logic of knowledge bases HJ Levesque, G Lakemeyer Mit Press, 2001 | 307 | 2001 |
Exploring artificial intelligence in the new millennium S Thrun, G Lakemeyer, B Nebel ch. Robotic Mapping: A Survey, 1-35, 2003 | 182 | 2003 |
Cognitive robotics H Levesque, G Lakemeyer Foundations of artificial intelligence 3, 869-886, 2008 | 178 | 2008 |
Logic-based robot control in highly dynamic domains A Ferrein, G Lakemeyer Robotics and Autonomous Systems 56 (11), 980-991, 2008 | 130 | 2008 |
A computer science perspective on digital transformation in production P Brauner, M Dalibor, M Jarke, I Kunze, I Koren, G Lakemeyer, ... ACM Transactions on Internet of Things 3 (2), 1-32, 2022 | 125 | 2022 |
Multi‐agent Only Knowing JY Halpern, G Lakemeyer Journal of Logic and Computation 11 (1), 41-70, 2001 | 96 | 2001 |
GOLEX—bridging the gap between logic (GOLOG) and a real robot D Hähnel, W Burgard, G Lakemeyer KI-98: Advances in Artificial Intelligence: 22nd Annual German Conference on …, 1998 | 94 | 1998 |
Foundations of knowledge representation and reasoning: A guide to this volume G Lakemeyer, B Nebel Foundations of knowledge representation and reasoning, 1-12, 2005 | 92 | 2005 |
On sensing and off-line interpreting in golog G Lakemeyer Logical Foundations for Cognitive Agents: Contributions in Honor of Ray …, 1999 | 87 | 1999 |
A Logic for Non-Terminating Golog Programs. J Claßen, G Lakemeyer KR, 589-599, 2008 | 86 | 2008 |
AOL: a logic of acting, sensing, knowing, and only knowing G Lakemeyer, HJ Levesque KR, 316-329, 1998 | 86 | 1998 |
Design principles of the component-based robot software framework fawkes T Niemueller, A Ferrein, D Beck, G Lakemeyer Simulation, Modeling, and Programming for Autonomous Robots: Second …, 2010 | 80 | 2010 |
FactDAG: formalizing data interoperability in an internet of production L Gleim, J Pennekamp, M Liebenberg, M Buchsbaum, P Niemietz, ... IEEE Internet of Things Journal 7 (4), 3243-3253, 2020 | 75 | 2020 |
A lua-based behavior engine for controlling the humanoid robot nao T Niemüller, A Ferrein, G Lakemeyer RoboCup 2009: Robot Soccer World Cup XIII 13, 240-251, 2010 | 75 | 2010 |
Tractable Meta-Reasoning in Propositional Logics of Belief. G Lakemeyer IJCAI, 401-408, 1987 | 75 | 1987 |
Situations, si! Situation terms, no! G Lakemeyer, HJ Levesque KR, 516-526, 2004 | 72 | 2004 |
Continuous requirements management for organisation networks: a (dis) trust-based approach G Gans, M Jarke, S Kethers, G Lakemeyer Requirements Engineering 8, 4-22, 2003 | 70 | 2003 |
Using Golog for Deliberation and Team Coordination in Robotic Soccer. A Ferrein, C Fritz, G Lakemeyer Künstliche Intell. 19 (1), 24-, 2005 | 67 | 2005 |
Steps towards a first-order logic of explicit and implicit belief G Lakemeyer Theoretical Aspects of Reasoning About Knowledge, 325-340, 1986 | 67 | 1986 |