Content: Publications

Publications by Gerhard Lakemeyer

Tim Niemueller, Frederik Zwilling, Gerhard Lakemeyer, Matthias Löbach, Sebastian Reuter, Sabina Jeschke, Alexander Ferrein

Cyber-Physical System Intelligence - Knowledge-Based Mobile Robot Autonomy in an Industrial Scenario

Industrial Internet of Things: Cybermanufacturing Systems (2016)

Tim Niemueller, Gerhard Lakemeyer, Sebastian Reuter, Sabina Jeschke, Alexander Ferrein

Benchmarking of Cyber-Physical Systems in Industrial Robotics - The RoboCup Logistics League as a CPS Benchmark Blueprint

Cyber-Physical Systems - Foundations, Principles, and Applications (2016)

Christoph Schwering, Gerhard Lakemeyer

Decidable Reasoning in a First-Order Logic of Limited Conditional Belief

Twenty-Second European Conference on Artificial Intelligence (ECAI) (2016)

Gesche Gierse, Tim Niemueller, Gerhard Lakemeyer

Interruptible Task Execution with Resumption in Golog

Twenty-Second European Conference on Artificial Intelligence (ECAI) (2016)

Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard

Sensor Fusion in the Epistemic Situation Calculus

Article in Journal, in Journal of Experimental & Theoretical Artificial Intelligence (JETAI) 5 (2016)

Victor Matare, Tim Niemueller, Gerhard Lakemeyer

Robust Multi-Modal Detection of Industrial Signal Light Towers

RoboCup Symposium (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 Symposium - Harting Award Paper (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 Symposium - Champion Teams Track (2016)

Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer

Continual Planning in Golog

Thirtieth AAAI Conference on Artificial Intelligence (AAAI) (2016)

Tim Niemueller, Alexander Ferrein, Sebastian Reuter, Sabina Jeschke, Gerhard Lakemeyer

The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark

IEEE/RSJ International Conference on Intelligent Robots and Systems 2015 (IROS) - Open forum on evaluation of results, replication of experiments and benchmarking in robotics research (2015)

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus

Twenty-Fourth International Joint Conference on Artificial Intelligence (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 Symposium - Champion Teams Track (2015)

Tim Niemueller, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer

Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions

RoboCup Symposium (2015)

Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein

The RoboCup Logistics League as a Benchmark for Planning in Robotics

Workshop on Planning and Robotics (PlanRob) at International Conference on Automated Planning and Scheduling (ICAPS) (2015)

Daniel Ewert, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer, Tim Niemueller, Sebastian Reuter

The RoboCup Logistics League as a Benchmark for Future Production Scenarios

European Robotics Forum 2015 - Workshop on Cognitive Robotics in future manufacturing scenarios (2015)

Christoph Schwering, Gerhard Lakemeyer

Projection in the Epistemic Situation Calculus with Belief Conditionals

Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI) (2015)

Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard

Sensor Fusion in the Epistemic Situation Calculus

9th International Cognitive Robotics Workshop (CogRob-2014) (2014)

Christoph Schwering, Gerhard Lakemeyer

A Semantic Account of Iterated Belief Revision in the Situation Calculus

Twenty-First European Conference on Artificial Intelligence (ECAI) (2014)

Frederik Zwilling, Tim Niemueller, Gerhard Lakemeyer

Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction

RoboCup Symposium (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 Symposium - Champion Teams Track (2014)

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß

Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014) (2014)

Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein, Sebastian Reuter, Daniel Ewert, Sabina Jeschke, Dirk Pensky, Ulrich Karras

Proposal for Advancements to the LLSF in 2014 and beyond

ICAR 2013 - 1st Workshop on Developments in RoboCup Leagues (2013)

Tim Niemueller, Nichola Abdo, Andreas Hertle, Gerhard Lakemeyer, Wolfram Burgard, Bernhard Nebel

Towards Deliberative Active Perception using Persistent Memory

IROS 2013 - Workshop on AI-based Robotics (2013)

Tim Niemueller, Stefan Schiffer, Gerhard Lakemeyer, Safoura Rezapour-Lakani

Life-long Learning Perception using Cloud Database Technology

IROS 2013 - Cloud Robotics Workshop (2013)

Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer

Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios

36th German Conference on Artificial Intelligence (KI2013) (2013)

Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer

On Decidable Verification of Non-terminating Golog

10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013) (2013)

Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein

Incremental Task-level Reasoning in a Competitive Factory Automation Scenario

AAAI Spring Symposium 2013 - Designing Intelligent Robots: Reintegrating AI (2013)

Tim Niemueller, Gerhard Lakemeyer, Siddhartha S. Srinivasa

A Generic Robot Database and its Application in Fault Analysis and Performance Evaluation

IEEE/RSJ International Conference on Intelligent Robots and Systems 2012 (2012)