Follow
Gerhard Lakemeyer
Gerhard Lakemeyer
Professor of Computer Science, RWTH Aachen University
Verified email at cs.rwth-aachen.de
Title
Cited by
Cited by
Year
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
20181999
The logic of knowledge bases
HJ Levesque, G Lakemeyer
Mit Press, 2001
3032001
Exploring artificial intelligence in the new millennium
S Thrun, G Lakemeyer, B Nebel
ch. Robotic Mapping: A Survey, 1-35, 2003
1812003
Cognitive robotics
H Levesque, G Lakemeyer
Foundations of artificial intelligence 3, 869-886, 2008
1772008
Logic-based robot control in highly dynamic domains
A Ferrein, G Lakemeyer
Robotics and Autonomous Systems 56 (11), 980-991, 2008
1302008
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
1172022
Multi‐agent Only Knowing
JY Halpern, G Lakemeyer
Journal of Logic and Computation 11 (1), 41-70, 2001
962001
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
941998
Foundations of knowledge representation and reasoning: A guide to this volume
G Lakemeyer, B Nebel
Foundations of knowledge representation and reasoning, 1-12, 2005
912005
On sensing and off-line interpreting in golog
G Lakemeyer
Logical Foundations for Cognitive Agents: Contributions in Honor of Ray …, 1999
871999
A Logic for Non-Terminating Golog Programs.
J Claßen, G Lakemeyer
KR, 589-599, 2008
862008
AOL: a logic of acting, sensing, knowing, and only knowing
G Lakemeyer, HJ Levesque
KR, 316-329, 1998
861998
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
802010
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
752020
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
752010
Tractable Meta-Reasoning in Propositional Logics of Belief.
G Lakemeyer
IJCAI, 401-408, 1987
751987
Situations, si! Situation terms, no!
G Lakemeyer, HJ Levesque
KR, 516-526, 2004
722004
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
692003
Using Golog for Deliberation and Team Coordination in Robotic Soccer.
A Ferrein, C Fritz, G Lakemeyer
Künstliche Intell. 19 (1), 24-, 2005
672005
Steps towards a first-order logic of explicit and implicit belief
G Lakemeyer
Theoretical Aspects of Reasoning About Knowledge, 325-340, 1986
671986
The system can't perform the operation now. Try again later.
Articles 1–20