Gerhard Lakemeyer

ORCID

Publication Activity (10 Years)

Years Active: 1986-2024
Publications (10 Years): 74

Top Venues

Publications

Gyunam Park, Majid Rafiei, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
Incorporating Behavioral Recommendations Mined from Event Logs into AI Planning. CAiSE Forum (2024)
Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. CoRR (2024)
Qihui Feng, Gerhard Lakemeyer
Probabilistic Multi-agent Only-Believing. AAMAS (2024)
Hayyan Helal, Gerhard Lakemeyer
An Analysis of the Decidability and Complexity of Numeric Additive Planning. ICAPS (2024)
Mohamed Behery, Gerhard Lakemeyer
Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab. CoRR (2023)
Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer
Concerning Measures in a First-order Logic with Actions and Meta-beliefs. KR (2023)
Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer
A Logic of Only-Believing over Arbitrary Probability Distributions. AAMAS (2023)
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
A hybrid skill parameterisation model combining symbolic and subsymbolic elements for introspective robots. Robotics Auton. Syst. 161 (2023)
Mohamed Behery, Philipp Brauner, Martina Ziefle, Gerhard Lakemeyer
Behaviour Trees for Representing Human-Robot Collaboration Processes in the World-Wide Lab. ERCIM News 2023 (132) (2023)
Mohamed Behery, Felix Glawe, István Koren, Martina Ziefle, Gerhard Lakemeyer, Philipp Brauner
Vision Paper: Leveraging Industrial Big Data - Past, Present, and Future of the World Wide Lab. BigData (2023)
Minh Trinh, Hannah Dammers, Mohamed Behery, Ralph Baier, Thomas Henn, Daniel Gossen, Burkhard Corves, Stefan Kowalewski, Verena Nitsch, Gerhard Lakemeyer, Thomas Gries, Christian Brecher
Safety of Human-Robot Collaboration within the Internet of Production. HCI (29) (2023)
Hayyan Helal, Gerhard Lakemeyer
Multi-Valued Partial Order Plans in Numeric Planning. CoRR (2023)
Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer
Self-Optimizing Agents Using Mixed Initiative Behavior Trees. SEAMS (2023)
Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer
Assistive Robot Teleoperation Using Behavior Trees. CoRR (2023)
Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer
Verifying Belief-Based Programs via Symbolic Dynamic Programming. ECAI (2023)
Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
Extracting Rules from Event Data for Study Planning. CoRR (2023)
Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
Extracting Rules from Event Data for Study Planning. ICPM Workshops (2023)
Ralph Baier, Hannah Dammers, Alexander Mertens, Mohamed Behery, Daniel Gossen, Srikanth Nouduri, Lukas Pelzer, Amir Shahidi, Minh Trinh, Christian Brecher, Burkhard Corves, Thomas Gries, Christian Hopmann, Mathias Hüsing, Gerhard Lakemeyer, Verena Nitsch
A Framework for the Classification of Human-Robot Interactions Within the Internet of Production. HCI (2) (2022)
Miriam Wagner, Hayyan Helal, Rene Roepke, Sven Judel, Jens Doveren, Sergej Görzen, Pouya Soudmand, Gerhard Lakemeyer, Ulrik Schroeder, Wil M. P. van der Aalst
A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education. CoRR (2022)
James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco
Epistemic Logic of Likelihood and Belief. IJCAI (2022)
Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith
Cognitive Robotics (Dagstuhl Seminar 22391). Dagstuhl Reports 12 (9) (2022)
Philipp Brauner, Manuela Dalibor, Matthias Jarke, Ike Kunze, István Koren, Gerhard Lakemeyer, Martin Liebenberg, Judith Michael, Jan Pennekamp, Christoph Quix, Bernhard Rumpe, Wil M. P. van der Aalst, Klaus Wehrle, Andreas Wortmann, Martina Ziefle
A Computer Science Perspective on Digital Transformation in Production. ACM Trans. Internet Things 3 (2) (2022)
Timo Rohrer, Anahita Farhang Ghahfarokhi, Mohamed Behery, Gerhard Lakemeyer, Wil M. P. van der Aalst
Predictive Object-Centric Process Monitoring. CoRR (2022)
Miriam Wagner, Hayyan Helal, Rene Roepke, Sven Judel, Jens Doveren, Sergej Görzen, Pouya Soudmand, Gerhard Lakemeyer, Ulrik Schroeder, Wil M. P. van der Aalst
A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education. ICPM Workshops (2022)
Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. CoRR (2022)
Minh Trinh, Mohamed Behery, Mahmoud Emara, Gerhard Lakemeyer, Simon Storms, Christian Brecher
Dynamics Modeling of Industrial Robots Using Transformer Networks. IRC (2022)
Daxin Liu, Gerhard Lakemeyer
On the Verification of Belief Programs. CoRR (2022)
Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer
Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. RoboCup (2022)
Till Hofmann, Gerhard Lakemeyer
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. CoRR (2021)
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. CoRR (2021)
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
Ontology-Assisted Generalisation of Robot Action Execution Knowledge. CoRR (2021)
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. ICRA (2021)
Daxin Liu, Gerhard Lakemeyer
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. IJCAI (2021)
Yiran Xing, Zai Shi, Zhao Meng, Gerhard Lakemeyer, Yunpu Ma, Roger Wattenhofer
KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation. ACL/IJCNLP (1) (2021)
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
Ontology-Assisted Generalisation of Robot Action Execution Knowledge. IROS (2021)
Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
Portable High-level Agent Programming with golog++. ICAART (2) (2021)
Till Hofmann, Tarik Viehmann, Mostafa Gomaa, Daniel Habering, Tim Niemueller, Gerhard Lakemeyer
Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. ICAART (1) (2021)
Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. IJCAI (2021)
Daniel Habering, Till Hofmann, Gerhard Lakemeyer
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. IJCAI (2021)
Mohamed Behery, Matteo Tschesche, Fridtjof Rudolph, Gerhard Hirt, Gerhard Lakemeyer
Action Discretization for Robot Arm Teleoperation in Open-Die Forging. SMC (2020)
Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
Representation and Experience-Based Learning of Explainable Models for Robot Action Execution. IROS (2020)
Gerhard Lakemeyer, Hector J. Levesque
A First-Order Logic of Limited Belief Based on Possible Worlds. KR (2020)
Vladimir Samsonov, Mohamed Behery, Gerhard Lakemeyer
Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent Setup Waste. ERCIM News 2020 (122) (2020)
Aymen Gannouni, Vladimir Samsonov, Mohamed Behery, Tobias Meisen, Gerhard Lakemeyer
Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste. SMC (2020)
Lars Christoph Gleim, Jan Pennekamp, Martin Liebenberg, Melanie Buchsbaum, Philipp Niemietz, Simon Knape, Alexander Epple, Simon Storms, Daniel Trauth, Thomas Bergs, Christian Brecher, Stefan Decker, Gerhard Lakemeyer, Klaus Wehrle
FactDAG: Formalizing Data Interoperability in an Internet of Production. IEEE Internet Things J. 7 (4) (2020)
Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
Macro Operator Synthesis for ADL Domains. ECAI (2020)
Gerhard Lakemeyer
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Description Logics (2019)
Gerhard Lakemeyer, Hector J. Levesque
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI (2019)
Till Hofmann, Nicolas Limpert, Victor Mataré, Alexander Ferrein, Gerhard Lakemeyer
Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. RoboCup (2019)
Tim Niemueller, Till Hofmann, Gerhard Lakemeyer
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. ICAPS (2019)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers 21 (1) (2019)
Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That (2019)
Till Hofmann, Victor Mataré, Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. AAAI Spring Symposia (2018)
Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS (2018)
Till Hofmann, Gerhard Lakemeyer
A Logic for Specifying Metric Temporal Constraints for Golog Programs. CogRob@KR (2018)
Gerhard Brewka, Gerhard Lakemeyer
Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany. AI Mag. 39 (4) (2018)
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
Belief revision and projection in the epistemic situation calculus. Artif. Intell. 251 (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR (2017)
Gerhard Lakemeyer
DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems. Künstliche Intell. 31 (1) (2017)
Martin Liebenberg, Kerstin Roßmaier, Gerhard Lakemeyer
An iStar 2.0 Editor Based on the Eclipse Modelling Framework. iStar (2017)
Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. ICAPS (2017)
Till Hofmann, Victor Mataré, Tobias Neumann, Sebastian Schönitz, Christoph Henke, Nicolas Limpert, Tim Niemueller, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. RoboCup (2017)
Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI (2017)
Vaishak Belle, Gerhard Lakemeyer
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. IJCAI (2017)
Stefan Schiffer, Maxim Jourenko, Gerhard Lakemeyer
Akbaba - An Agent for the Angry Birds AI Challenge Based on Search and Simulation. IEEE Trans. Comput. Intell. AI Games 8 (2) (2016)
Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI (2016)
Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
Interruptible Task Execution with Resumption in Golog. ECAI (2016)
Victor Mataré, Tim Niemueller, Gerhard Lakemeyer
Robust Multi-modal Detection of Industrial Signal Light Towers. RoboCup (2016)
Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard
Sensor fusion in the epistemic situation calculus. J. Exp. Theor. Artif. Intell. 28 (5) (2016)
Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
Continual Planning in Golog. AAAI (2016)
Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schönitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
Improvements for a Robust Production in the RoboCup Logistics League 2016. RoboCup (2016)
Gerhard Lakemeyer, Hector J. Levesque
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR (2016)
Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schönitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League. RoboCup (2016)
Christoph Schwering, Gerhard Lakemeyer
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. ECAI (2016)
Tim Niemueller, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. RoboCup (2015)
Klaus Baier, Victor Matare, Martin Liebenberg, Gerhard Lakemeyer
Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling. Comput. Environ. Urban Syst. 51 (2015)
Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) (2015)
Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. IJCAI (2015)
Tom Goeckel, Stefan Schiffer, Hermann Wagner, Gerhard Lakemeyer
The Video Conference Tool Robot ViCToR. ICIRA (2) (2015)
Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) (2015)
Vaishak Belle, Gerhard Lakemeyer
Only Knowing Meets Common Knowledge. IJCAI (2015)
Tim Niemueller, Sebastian Reuter, Daniel Ewert, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015. RoboCup (2015)
Christoph Schwering, Gerhard Lakemeyer
Projection in the Epistemic Situation Calculus with Belief Conditionals. AAAI (2015)
Vaishak Belle, Gerhard Lakemeyer
Semantical considerations on multiagent only knowing. Artif. Intell. 223 (2015)
Vaishak Belle, Gerhard Lakemeyer
Multiagent Only Knowing in Dynamic Systems. J. Artif. Intell. Res. 49 (2014)
Christoph Schwering, Gerhard Lakemeyer
A Semantic Account of Iterated Belief Revision in the Situation Calculus. ECAI (2014)
Frederik Zwilling, Tim Niemueller, Gerhard Lakemeyer
Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction. RoboCup (2014)
Vaishak Belle, Gerhard Lakemeyer
On the Progression of Knowledge in Multiagent Systems. KR (2014)
Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4 (1) (2014)
Gerhard Lakemeyer, Hector J. Levesque
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR (2014)
Tim Niemueller, Sebastian Reuter, Daniel Ewert, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014. RoboCup (2014)
Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
SLAP: Specification logic of actions with probability. J. Appl. Log. 12 (2) (2014)
Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer
Towards Robust Task Execution for Domestic Service Robots. J. Intell. Robotic Syst. 76 (1) (2014)
Tom Goeckel, Hartmut Führ, Gerhard Lakemeyer, Hermann Wagner
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. 36 (1) (2014)
Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer
Towards Robust Task Execution for Domestic Service Robots. ICAPS (2014)
Martin Liebenberg, Victor Matare, Klaus Baier, Gerhard Lakemeyer
Towards Using i* for Modeling Mega-Urban Processes. iStar (2014)
Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
A Logic for Specifying Stochastic Actions and Observations. FoIKS (2014)
Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI (2014)
Gerhard Lakemeyer
First competition section paper published. Artif. Intell. 198 (2013)
Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. KI (2013)

Gerhard Lakemeyer.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gerhard Lakemeyer