Gerhard Lakemeyer
Orcid: 0000-0002-7363-7593Affiliations:
- RWTH Aachen University, Germany
According to our database1,
Gerhard Lakemeyer
authored at least 215 papers
between 1986 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
CoRR, 2024
2023
A hybrid skill parameterisation model combining symbolic and subsymbolic elements for introspective robots.
Robotics Auton. Syst., March, 2023
Behaviour Trees for Representing Human-Robot Collaboration Processes in the World-Wide Lab.
ERCIM News, 2023
CoRR, 2023
Proceedings of the 18th IEEE/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2023
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Process Mining Workshops, 2023
Proceedings of the HCI in Business, Government and Organizations, 2023
Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023
Vision Paper: Leveraging Industrial Big Data - Past, Present, and Future of the World Wide Lab.
Proceedings of the IEEE International Conference on Big Data, 2023
Proceedings of the 2023 International Conference on Autonomous Agents and Multiagent Systems, 2023
2022
ACM Trans. Internet Things, 2022
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning.
Proceedings of the RoboCup 2022:, 2022
Proceedings of the Sixth IEEE International Conference on Robotic Computing, 2022
Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022
A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education.
Proceedings of the Process Mining Workshops, 2022
A Framework for the Classification of Human-Robot Interactions Within the Internet of Production.
Proceedings of the Human-Computer Interaction. Technological Innovation, 2022
2021
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints.
CoRR, 2021
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots.
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021
Proceedings of the 13th International Conference on Agents and Artificial Intelligence, 2021
Proceedings of the 59th Annual Meeting of the Association for Computational Linguistics and the 11th International Joint Conference on Natural Language Processing, 2021
2020
IEEE Internet Things J., 2020
Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent Setup Waste.
ERCIM News, 2020
Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, 2020
Representation and Experience-Based Learning of Explainable Models for Robot Action Execution.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2020
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020
2019
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics.
Inf. Syst. Frontiers, 2019
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning.
Proceedings of the RoboCup 2019: Robot World Cup XXIII [Sydney, 2019
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic.
Proceedings of the 32nd International Workshop on Description Logics, 2019
Proceedings of the Description Logic, Theory Combination, and All That, 2019
Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019
2018
AI Mag., 2018
Proceedings of the 11th Cognitive Robotics Workshop 2018, 2018
Proceedings of the Twenty-Eighth International Conference on Automated Planning and Scheduling, 2018
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions.
Proceedings of the 2018 AAAI Spring Symposia, 2018
2017
DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems.
Künstliche Intell., 2017
Artif. Intell., 2017
Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017.
Proceedings of the RoboCup 2017: Robot World Cup XXI [Nagoya, Japan, July 27-31, 2017]., 2017
Proceedings of the 10th International i* Workshop co-located with the 29th International Conference on Advanced Information Systems Engineering (CAiSE 2017), 2017
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories.
Proceedings of the 2017 IEEE International Conference on Information Reuse and Integration, 2017
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots.
Proceedings of the Twenty-Seventh International Conference on Automated Planning and Scheduling, 2017
2016
IEEE Trans. Comput. Intell. AI Games, 2016
J. Exp. Theor. Artif. Intell., 2016
International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League.
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016
Proceedings of the RoboCup 2016: Robot World Cup XX [Leipzig, Germany, June 30, 2016
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling.
Comput. Environ. Urban Syst., 2015
Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions.
Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015
The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015.
Proceedings of the RoboCup 2015: Robot World Cup XIX [papers from the 19th Annual RoboCup International Symposium, 2015
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Intelligent Robotics and Applications - 8th International Conference, 2015
Proceedings of the Agents and Artificial Intelligence - 7th International Conference, 2015
A Modal Logic for the Decision-Theoretic Projection Problem.
Proceedings of the ICAART 2015, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
J. Intell. Robotic Syst., 2014
Side peak suppression in responses of an across-frequency integration model to stimuli of varying bandwidth as demonstrated analytically and by implementation.
J. Comput. Neurosci., 2014
Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction.
Proceedings of the RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, 2014
Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014.
Proceedings of the RoboCup 2014: Robot World Cup XVIII [papers from the 18th Annual RoboCup International Symposium, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014
Proceedings of the Seventh International i* Workshop co-located with the 26th International Conference on Advanced Information Systems Engineering (CAiSE 2014), 2014
Proceedings of the Foundations of Information and Knowledge Systems, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
2013
RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013
Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics.
Proceedings of the RoboCup 2013: Robot World Cup XVII [papers from the 17th Annual RoboCup International Symposium, 2013
Proceedings of the KI 2013: Advances in Artificial Intelligence, 2013
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals.
Proceedings of the IJCAI 2013, 2013
Proceedings of the 16th International Conference on Advanced Robotics, 2013
Proceedings of the Designing Intelligent Robots: Reintegrating AI II, 2013
Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics.
Proceedings of the Designing Intelligent Robots: Reintegrating AI II, 2013
2012
Künstliche Intell., 2012
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus.
J. Intell. Robotic Syst., 2012
Log. J. IGPL, 2012
Proceedings of the STAIRS 2012, 2012
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012
Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012
A generic robot database and its application in fault analysis and performance evaluation.
Proceedings of the 2012 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2012
Flexible Command Interpretation on an Interactive Domestic Service Robot.
Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012
Natural Language Interpretation for an Interactive Service Robot in Domestic Domains.
Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the ECAI 2012, 2012
Proceedings of the Computational Logic in Multi-Agent Systems, 2012
2011
A semantic characterization of a useful fragment of the situation calculus with knowledge.
Artif. Intell., 2011
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols.
Proceedings of the IJCAI 2011, 2011
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011
A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot.
Proceedings of the Intelligent Robotics and Applications - 4th International Conference, 2011
Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011
Requirements Engineering for Trust-Based Interorganizational Networks.
Proceedings of the Social Modeling for Requirements Engineering., 2011
2010
Proceedings of the Simulation, Modeling, and Programming for Autonomous Robots, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs.
Proceedings of the ECAI 2010, 2010
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond.
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010
Proceedings of the Cognitive Robotics, 21.02. - 26.02.2010, 2010
Proceedings of the Agents and Data Mining Interaction, 2010
Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010
2009
Proceedings of the RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29, 2009
Proceedings of the RoboCup 2009: Robot Soccer World Cup XIII [papers from the 13th annual RoboCup International Symposium, Graz, Austria, June 29, 2009
Proceedings of the Conceptual Modeling: Foundations and Applications, 2009
2008
Proceedings of the RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, 2008
Proceedings of the RoboCup 2008: Robot Soccer World Cup XII [papers from the 12th annual RoboCup International Symposium, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Eleventh International Conference, 2008
Proceedings of the KI 2008: Advances in Artificial Intelligence, 2008
Continuous, Requirements-Driven Support for Organizations, Networks, and Communities.
Proceedings of the 3rd International i* Workshop, Recife, Brazil, February 11-12, 2008, 2008
Proceedings of the Intelligent Robotics and Applications, First International Conference, 2008
Proceedings of the Organized Adaption in Multi-Agent Systems, 2008
2007
Proceedings of the RoboCup 2007: Robot Soccer World Cup XI, 2007
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog.
Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007
Proceedings of the Multidisciplinary Collaboration for Socially Assistive Robotics, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007
2006
Proceedings of the Proceedings, 2006
Proceedings of the Agent-Oriented Information Systems IV, 2006
2005
Künstliche Intell., 2005
Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks.
Inf. Syst., 2005
Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005
Proceedings of the RoboCup 2005: Robot Soccer World Cup IX, 2005
Proceedings of the KI 2005: Advances in Artificial Intelligence, 2005
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG.
Proceedings of the First Artificial Intelligence and Interactive Digital Entertainment Conference, 2005
Proceedings of the Proceedings, 2005
2004
Proceedings of the RoboCup 2004: Robot Soccer World Cup VIII, 2004
Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks.
Proceedings of the On the Move to Meaningful Internet Systems 2004: OTM 2004 Workshops: OTM Confederated International Workshops and Posters, 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004
Proceedings of the KI 2004: Advances in Artificial Intelligence, 2004
Proceedings of the Agent-Oriented Information Systems II, 2004
2003
Continuous requirements management for organisation networks: a (dis)trust-based approach.
Requir. Eng., 2003
AI Mag., 2003
Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003
Proceedings of the Intelligent Agents, 4th International Workshop, 2003
Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks.
Proceedings of the Advanced Information Systems Engineering, 15th International Conference, 2003
2002
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases.
Proceedings of the Eights International Conference on Principles and Knowledge Representation and Reasoning (KR-02), 2002
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog.
Proceedings of the Advanced Information Systems Engineering, 14th International Conference, 2002
2001
Proceedings of the 5th IEEE International Symposium on Requirements Engineering (RE 2001), 2001
Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001
On-Line Execution of cc-Golog Plans.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001
2000
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework.
Künstliche Intell., 2000
Turning High-Level Plans into Robot Programs in Uncertain Domains.
Proceedings of the ECAI 2000, 2000
Querying AOL Knowledge Bases.
Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000
1999
Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence, 1999
1998
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing.
Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998
Proceedings of the KI-98: Advances in Artificial Intelligence, 1998
Proceedings of the Autonome Mobile Systeme 1998, 14. Fachgespräch, Karlsruhe, 30. November, 1998
Proceedings of the Fifteenth National Conference on Artificial Intelligence and Tenth Innovative Applications of Artificial Intelligence Conference, 1998
1997
1996
Artif. Intell., 1996
Only Knowing in the Situation Calculus.
Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996
Proceedings of the KI-96: Advances in Artificial Intelligence, 1996
1995
Ist die Wissensrepräsentation tot?
Künstliche Intell., 1995
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995
1994
Enhancing the Power of a Decidable First-Order Reasoner.
Proceedings of the 4th International Conference on Principles of Knowledge Representation and Reasoning (KR'94). Bonn, 1994
Proceedings of the KI-94: Advances in Artificial Intelligence, 1994
1993
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993
Proceedings of the 11th National Conference on Artificial Intelligence. Washington, 1993
1992
On perfect introspection with Quantifying-in.
Fundam. Informaticae, 1992
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask).
Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR'92). Cambridge, 1992
Proceedings of the Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop], 1992
1991
On the Relation between Explicit and Implicit Belief.
Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991
Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991
1990
PhD thesis, 1990
Proceedings of the Logics in AI, European Workshop, 1990
Proceedings of the 8th National Conference on Artificial Intelligence. Boston, Massachusetts, USA, July 29, 1990
1988
A Tractable Knowledge Representation Service with Full Introspection.
Proceedings of the 2nd Conference on Theoretical Aspects of Reasoning about Knowledge, 1988
1987
Proceedings of the 10th International Joint Conference on Artificial Intelligence. Milan, 1987
1986
Steps Towards a First-Order Logic of Explicit and Implicit Belief.
Proceedings of the 1st Conference on Theoretical Aspects of Reasoning about Knowledge, 1986