Sotabase

Career

· Ph.D., Computer Science, University of Toronto1982–1990
· Professor, RWTH Aachen University

Publications (315)

Experiences with an Interactive Museum Tour-Guide Robot
Artificial Intelligence · 1999
974
cited
Exploring artificial intelligence in the new millennium
2003
777
cited
The Interactive Museum Tour-Guide Robot
AAAI/IAAI · 1998
666
cited
The logic of knowledge bases
2000
223
cited
Handbook of Knowledge Representation Edited Cognitive Robotics
144
cited
Logic-based robot control in highly dynamic domains
Robotics Auton. Syst. · 2008
108
cited
A Computer Science Perspective on Digital Transformation in Production
ACM Trans. Internet Things · 2022
100
cited
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot
Deutsche Jahrestagung für Künstliche Intelligenz · 1998
82
cited
A Logic for Non-Terminating Golog Programs
International Conference on Principles of Knowledge Representation and Reasoning · 2008
77
cited
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing
International Conference on Principles of Knowledge Representation and Reasoning · 1998
69
cited
Foundations of Knowledge Representation and Reasoning
ECAI Workshop on Knowledge Representation and Reasoning · 1994
64
cited
Design Principles of the Component-Based Robot Software Framework Fawkes
Simulation, Modeling, and Programming for Autonomous Robots · 2010
62
cited
Steps Towards a First-Order Logic of Explicit and Implicit Belief
Theoretical Aspects of Rationality and Knowledge · 1986
62
cited
Multi-agent Only-Knowing
Computational Logic in Multi-Agent Systems · 1996
60
cited
Situations, Si! Situation Terms, No!
International Conference on Principles of Knowledge Representation and Reasoning · 2004
60
cited
On sensing and off-line interpreting in GOLOG
1999
59
cited
Continuous requirements management for organisation networks: a (dis)trust-based approach
Requirements Engineering · 2003
58
cited
Tractable Meta-Reasoning in Propositional Logics of Belief
International Joint Conference on Artificial Intelligence · 1987
58
cited
Using Golog for Deliberation and Team Coordination in Robotic Soccer
Künstliche Intell. · 2005
58
cited
On-Line Decision-Theoretic Golog for Unpredictable Domains
Deutsche Jahrestagung für Künstliche Intelligenz · 2004
56
cited
Sotabase
Gerhard Lakemeyer | Researcher Profile | Sotabase | Sotabase