Gerhard Lakemeyer

253 papers A* 63A 20B 10C 23Misc 12Journal 65Unranked 54

Year	Rank	Type	Title / Venue / Authors
2026	A*	`conf`	A Framework for Belief-based Programs and Their Verification (Abstract Reprint). AAAI Daxin Liu, Gerhard Lakemeyer
2026	A*	`conf`	Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach. AAAI Qihui Feng, Gerhard Lakemeyer
2026	—	`conf`	Making Robots Play by the Rules: The ROS 2 CLIPS-Executive. ICAART (2) Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer
2025	J	`jnl`	A Framework for Belief-based Programs and Their Verification. J. Artif. Intell. Res. Daxin Liu, Gerhard Lakemeyer
2025	A*	`conf`	Belief Revision in a Probabilistic Setting. KR James P. Delgrande, Gerhard Lakemeyer, Maurice Pagnucco, Joshua Sack
2025	A*	`conf`	LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction. AAAI Er Jin, Qihui Feng, Yongli Mou, Gerhard Lakemeyer, Stefan Decker, Oliver Simons, Johannes Stegmaier
2025	J	`jnl`	LogicAD: Explainable Anomaly Detection via VLM-based Text Feature Extraction. CoRR Er Jin, Qihui Feng, Yongli Mou, Stefan Decker, Gerhard Lakemeyer, Oliver Simons, Johannes Stegmaier
2025	J	`jnl`	Making Robots Play by the Rules: The ROS 2 CLIPS-Executive. CoRR Tarik Viehmann, Daniel Swoboda, Samridhi Kalra, Himanshu Grover, Gerhard Lakemeyer
2025	A	`conf`	Simple Numeric Planning with Two Variables Is Decidable. ECAI Hayyan Helal, Gerhard Lakemeyer
2025	A	`conf`	Translating Multi-Agent Modal Logics of Knowledge and Belief into Decidable First-Order Fragments. AAMAS Qihui Feng, Hannah Wilk, Shakil M. Khan, Gerhard Lakemeyer
2024	C	`conf`	A ROS 2-Based Navigation and Simulation Stack for the Robotino. RoboCup Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer
2024	J	`jnl`	A ROS~2-based Navigation and Simulation Stack for the Robotino. CoRR Saurabh Borse, Tarik Viehmann, Alexander Ferrein, Gerhard Lakemeyer
2024	A*	`conf`	An Analysis of the Decidability and Complexity of Numeric Additive Planning. ICAPS Hayyan Helal, Gerhard Lakemeyer
2024	J	`jnl`	Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. CoRR Till Hofmann, Stefan Schupp, Gerhard Lakemeyer
2024	J	`jnl`	Demonstrating Data-to-Knowledge Pipelines for Connecting Production Sites in the World Wide Lab. CoRR Leon M. Gorißen, Jan-Niklas Schneider, Mohamed Behery, Philipp Brauner, Moritz Lennartz, David Kötter, Thomas Kaster, Oliver Petrovic, Christian Hinke, Thomas Gries, Gerhard Lakemeyer, Martina Ziefle, Christian Brecher, Constantin Häfner
2024	—	`conf`	Incorporating Behavioral Recommendations Mined from Event Logs into AI Planning. CAiSE Forum Gyunam Park, Majid Rafiei, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
2024	A	`conf`	Probabilistic Multi-agent Only-Believing. AAMAS Qihui Feng, Gerhard Lakemeyer
2024	C	`conf`	Using Off-the-Shelf Deep Neural Networks for Position-Based Visual Servoing. RoboCup Matteo Tschesche, Till Hofmann, Alexander Ferrein, Gerhard Lakemeyer
2024	—	`conf`	i* for Sustainability: A Case Study in Urban Management. Social Modeling Using the i* Framework Gerhard Lakemeyer, Martin Liebenberg
2023	A	`conf`	A Logic of Only-Believing over Arbitrary Probability Distributions. AAMAS Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer
2023	J	`jnl`	A hybrid skill parameterisation model combining symbolic and subsymbolic elements for introspective robots. Robotics Auton. Syst. Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
2023	J	`jnl`	Assistive Robot Teleoperation Using Behavior Trees. CoRR Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer
2023	J	`jnl`	Behaviour Trees for Representing Human-Robot Collaboration Processes in the World-Wide Lab. ERCIM News Mohamed Behery, Philipp Brauner, Martina Ziefle, Gerhard Lakemeyer
2023	A*	`conf`	Concerning Measures in a First-order Logic with Actions and Meta-beliefs. KR Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer
2023	J	`jnl`	Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab. CoRR Mohamed Behery, Gerhard Lakemeyer
2023	—	`conf`	Extracting Rules from Event Data for Study Planning. ICPM Workshops Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
2023	J	`jnl`	Extracting Rules from Event Data for Study Planning. CoRR Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
2023	J	`jnl`	Multi-Valued Partial Order Plans in Numeric Planning. CoRR Hayyan Helal, Gerhard Lakemeyer
2023	—	`conf`	Safety of Human-Robot Collaboration within the Internet of Production. HCI (29) Minh Trinh, Hannah Dammers, Mohamed Behery, Ralph Baier, Thomas Henn, Daniel Gossen, Burkhard Corves, Stefan Kowalewski, Verena Nitsch, Gerhard Lakemeyer, Thomas Gries, Christian Brecher
2023	A	`conf`	Self-Optimizing Agents Using Mixed Initiative Behavior Trees. SEAMS Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer
2023	A	`conf`	Verifying Belief-Based Programs via Symbolic Dynamic Programming. ECAI Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer
2023	B	`conf`	Vision Paper: Leveraging Industrial Big Data - Past, Present, and Future of the World Wide Lab. IEEE Big Data Mohamed Behery, Felix Glawe, István Koren, Martina Ziefle, Gerhard Lakemeyer, Philipp Brauner
2022	—	`conf`	A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education. ICPM Workshops 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
2022	J	`jnl`	A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education. CoRR 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
2022	J	`jnl`	A Computer Science Perspective on Digital Transformation in Production. ACM Trans. Internet Things 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
2022	—	`conf`	A Framework for the Classification of Human-Robot Interactions Within the Internet of Production. HCI (2) 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
2022	J	`jnl`	Cognitive Robotics (Dagstuhl Seminar 22391). Dagstuhl Reports Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith
2022	—	`conf`	Dynamics Modeling of Industrial Robots Using Transformer Networks. IRC Minh Trinh, Mohamed Behery, Mahmoud Emara, Gerhard Lakemeyer, Simon Storms, Christian Brecher
2022	A*	`conf`	Epistemic Logic of Likelihood and Belief. IJCAI James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco
2022	J	`jnl`	On the Verification of Belief Programs. CoRR Daxin Liu, Gerhard Lakemeyer
2022	J	`jnl`	Predictive Object-Centric Process Monitoring. CoRR Timo Rohrer, Anahita Farhang Ghahfarokhi, Mohamed Behery, Gerhard Lakemeyer, Wil M. P. van der Aalst
2022	A*	`ed.`	Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. KR Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer
2022	J	`jnl`	Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. CoRR Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer
2022	C	`conf`	Winning the RoboCup Logistics League with Visual Servoing and Centralized Goal Reasoning. RoboCup Tarik Viehmann, Nicolas Limpert, Till Hofmann, Mike Henning, Alexander Ferrein, Gerhard Lakemeyer
2021	J	`jnl`	Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. CoRR Till Hofmann, Gerhard Lakemeyer
2021	—	`conf`	KM-BART: Knowledge Enhanced Multimodal BART for Visual Commonsense Generation. ACL/IJCNLP (1) Yiran Xing, Zai Shi, Zhao Meng, Gerhard Lakemeyer, Yunpu Ma, Roger Wattenhofer
2021	—	`conf`	Multi-Agent Goal Reasoning with the CLIPS Executive in the RoboCup Logistics League. ICAART (1) Till Hofmann, Tarik Viehmann, Mostafa Gomaa, Daniel Habering, Tim Niemueller, Gerhard Lakemeyer
2021	A	`conf`	Ontology-Assisted Generalisation of Robot Action Execution Knowledge. IROS Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
2021	J	`jnl`	Ontology-Assisted Generalisation of Robot Action Execution Knowledge. CoRR Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
2021	—	`conf`	Portable High-level Agent Programming with golog++. ICAART (2) Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer
2021	A*	`ed.`	Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. KR Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem
2021	A*	`conf`	Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. IJCAI Daxin Liu, Gerhard Lakemeyer
2021	A*	`conf`	Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. ICRA Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
2021	J	`jnl`	Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. CoRR Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
2021	A*	`conf`	Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. IJCAI Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer
2021	A*	`conf`	Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. IJCAI Daniel Habering, Till Hofmann, Gerhard Lakemeyer
2020	A*	`conf`	A First-Order Logic of Limited Belief Based on Possible Worlds. KR Gerhard Lakemeyer, Hector J. Levesque
2020	B	`conf`	Action Discretization for Robot Arm Teleoperation in Open-Die Forging. SMC Mohamed Behery, Matteo Tschesche, Fridtjof Rudolph, Gerhard Hirt, Gerhard Lakemeyer
2020	J	`jnl`	FactDAG: Formalizing Data Interoperability in an Internet of Production. IEEE Internet Things J. 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
2020	A	`conf`	Macro Operator Synthesis for ADL Domains. ECAI Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
2020	B	`conf`	Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste. SMC Aymen Gannouni, Vladimir Samsonov, Mohamed Behery, Tobias Meisen, Gerhard Lakemeyer
2020	J	`jnl`	Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent Setup Waste. ERCIM News Vladimir Samsonov, Mohamed Behery, Gerhard Lakemeyer
2020	A	`conf`	Representation and Experience-Based Learning of Explainable Models for Robot Action Execution. IROS Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer
2019	A*	`conf`	A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2019	—	`conf`	Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Description Logics Gerhard Lakemeyer
2019	A*	`conf`	Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. ICAPS Tim Niemueller, Till Hofmann, Gerhard Lakemeyer
2019	J	`jnl`	Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Inf. Syst. Frontiers Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2019	—	`conf`	Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß
2019	C	`conf`	Winning the RoboCup Logistics League with Fast Navigation, Precise Manipulation, and Robust Goal Reasoning. RoboCup Till Hofmann, Nicolas Limpert, Victor Mataré, Alexander Ferrein, Gerhard Lakemeyer
2018	—	`conf`	A Logic for Specifying Metric Temporal Constraints for Golog Programs. CogRob@KR Till Hofmann, Gerhard Lakemeyer
2018	A*	`conf`	ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub
2018	—	`conf`	Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. AAAI Spring Symposia Till Hofmann, Victor Mataré, Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
2018	J	`jnl`	Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany. AI Mag. Gerhard Brewka, Gerhard Lakemeyer
2017	—	`conf`	An iStar 2.0 Editor Based on the Eclipse Modelling Framework. iStar Martin Liebenberg, Kerstin Roßmaier, Gerhard Lakemeyer
2017	J	`jnl`	Belief revision and projection in the epistemic situation calculus. Artif. Intell. Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
2017	J	`jnl`	DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems. Künstliche Intell. Gerhard Lakemeyer
2017	C	`conf`	Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. RoboCup Till Hofmann, Victor Mataré, Tobias Neumann, Sebastian Schönitz, Christoph Henke, Nicolas Limpert, Tim Niemueller, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2017	A*	`conf`	Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. ICAPS Till Hofmann, Tim Niemueller, Gerhard Lakemeyer
2017	Misc	`conf`	On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. IRI Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017	J	`jnl`	On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. CoRR Francesco Leofante, Erika Ábrahám, Tim Niemueller, Gerhard Lakemeyer, Armando Tacchella
2017	A*	`conf`	Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. IJCAI Vaishak Belle, Gerhard Lakemeyer
2016	A*	`conf`	A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque
2016	J	`jnl`	Akbaba - An Agent for the Angry Birds AI Challenge Based on Search and Simulation. IEEE Trans. Comput. Intell. AI Games Stefan Schiffer, Maxim Jourenko, Gerhard Lakemeyer
2016	A*	`conf`	Continual Planning in Golog. AAAI Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
2016	A	`conf`	Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. ECAI Christoph Schwering, Gerhard Lakemeyer
2016	A*	`conf`	Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR Gerhard Lakemeyer, Hector J. Levesque
2016	C	`conf`	Improvements for a Robust Production in the RoboCup Logistics League 2016. RoboCup Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schönitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2016	C	`conf`	International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League. RoboCup Tim Niemueller, Tobias Neumann, Christoph Henke, Sebastian Schönitz, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2016	A	`conf`	Interruptible Task Execution with Resumption in Golog. ECAI Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer
2016	C	`conf`	Robust Multi-modal Detection of Industrial Signal Light Towers. RoboCup Victor Mataré, Tim Niemueller, Gerhard Lakemeyer
2016	J	`jnl`	Sensor fusion in the epistemic situation calculus. J. Exp. Theor. Artif. Intell. Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard
2015	—	`conf`	A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
2015	—	`conf`	A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer
2015	A*	`conf`	Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. IJCAI Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco
2015	C	`conf`	Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. RoboCup Tim Niemueller, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2015	A*	`conf`	Only Knowing Meets Common Knowledge. IJCAI Vaishak Belle, Gerhard Lakemeyer
2015	A*	`conf`	Projection in the Epistemic Situation Calculus with Belief Conditionals. AAAI Christoph Schwering, Gerhard Lakemeyer
2015	J	`jnl`	Semantical considerations on multiagent only knowing. Artif. Intell. Vaishak Belle, Gerhard Lakemeyer
2015	C	`conf`	The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015. RoboCup Tim Niemueller, Sebastian Reuter, Daniel Ewert, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2015	—	`conf`	The Video Conference Tool Robot ViCToR. ICIRA (2) Tom Goeckel, Stefan Schiffer, Hermann Wagner, Gerhard Lakemeyer
2015	J	`jnl`	Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling. Comput. Environ. Urban Syst. Klaus Baier, Victor Matare, Martin Liebenberg, Gerhard Lakemeyer
2014	—	`conf`	A Logic for Specifying Stochastic Actions and Observations. FoIKS Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
2014	A	`conf`	A Semantic Account of Iterated Belief Revision in the Situation Calculus. ECAI Christoph Schwering, Gerhard Lakemeyer
2014	A*	`conf`	Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR Gerhard Lakemeyer, Hector J. Levesque
2014	C	`conf`	Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014. RoboCup Tim Niemueller, Sebastian Reuter, Daniel Ewert, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2014	A*	`conf`	Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß
2014	J	`jnl`	Multiagent Only Knowing in Dynamic Systems. J. Artif. Intell. Res. Vaishak Belle, Gerhard Lakemeyer
2014	A*	`conf`	On the Progression of Knowledge in Multiagent Systems. KR Vaishak Belle, Gerhard Lakemeyer
2014	J	`jnl`	Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel
2014	J	`jnl`	SLAP: Specification logic of actions with probability. J. Appl. Log. Gavin Rens, Thomas Meyer, Gerhard Lakemeyer
2014	J	`jnl`	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. Tom Goeckel, Hartmut Führ, Gerhard Lakemeyer, Hermann Wagner
2014	C	`conf`	Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction. RoboCup Frederik Zwilling, Tim Niemueller, Gerhard Lakemeyer
2014	A*	`conf`	Towards Robust Task Execution for Domestic Service Robots. ICAPS Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer
2014	J	`jnl`	Towards Robust Task Execution for Domestic Service Robots. J. Intell. Robotic Syst. Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer
2014	—	`conf`	Towards Using i* for Modeling Mega-Urban Processes. iStar Martin Liebenberg, Victor Matare, Klaus Baier, Gerhard Lakemeyer
2013	J	`jnl`	A Rational and Efficient Algorithm for View Revision in Databases CoRR Radhakrishnan Delhibabu, Gerhard Lakemeyer
2013	A*	`conf`	Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2013	J	`jnl`	First competition section paper published. Artif. Intell. Gerhard Lakemeyer
2013	—	`conf`	Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario. AAAI Spring Symposium: Designing Intelligent Robots Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein
2013	—	`conf`	Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics. AAAI Spring Symposium: Designing Intelligent Robots Alexander Ferrein, Tim Niemueller, Stefan Schiffer, Gerhard Lakemeyer
2013	C	`conf`	RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed. RoboCup Tim Niemueller, Daniel Ewert, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2013	—	`conf`	Simulation-based approach for avoiding external faults. ICAR Naveed Akhtar, Anastassia Küstenmacher, Paul-Gerhard Plöger, Gerhard Lakemeyer
2013	Misc	`conf`	Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. KI Tim Niemueller, Daniel Ewert, Sebastian Reuter, Ulrich Karras, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer
2013	C	`conf`	Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics. RoboCup Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer
2012	—	`conf`	A Logic for Specifying Agent Actions and Observations with Probability. STAIRS Gavin Rens, Gerhard Lakemeyer, Thomas Meyer
2012	A	`conf`	A generic robot database and its application in fault analysis and performance evaluation. IROS Tim Niemueller, Gerhard Lakemeyer, Siddhartha S. Srinivasa
2012	J	`jnl`	Caesar: an intelligent domestic service robot. Intell. Serv. Robotics Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
2012	A	`conf`	Efficient Reasoning in Multiagent Epistemic Logics. ECAI Gerhard Lakemeyer, Yves Lespérance
2012	—	`conf`	Flexible Command Interpretation on an Interactive Domestic Service Robot. ICAART (1) Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer
2012	—	`conf`	Multi-agent Only-Knowing. CLIMA Gerhard Lakemeyer
2012	—	`conf`	Natural Language Interpretation for an Interactive Service Robot in Domestic Domains. ICAART (Revised Selected Papers) Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer
2012	A*	`conf`	Only-Knowing Meets Nonmonotonic Modal Logic. KR Gerhard Lakemeyer, Hector J. Levesque
2012	—	`conf`	Plan Recognition by Program Execution in Continuous Temporal Domains. CogRob@AAAI Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
2012	Misc	`conf`	Plan Recognition by Program Execution in Continuous Temporal Domains. KI Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer
2012	J	`jnl`	Platas - Integrating Planning and the Action Language Golog. Künstliche Intell. Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel
2012	J	`jnl`	Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. J. Intell. Robotic Syst. Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
2012	J	`jnl`	Reinforcement learning for Golog programs with first-order state-abstraction. Log. J. IGPL Daniel Beck, Gerhard Lakemeyer
2012	A	`conf`	Representing Value Functions with Recurrent Binary Decision Diagrams. ECAI Daniel Beck, Gerhard Lakemeyer
2012	—	`conf`	The Truth about Defaults. Correct Reasoning Hector J. Levesque, Gerhard Lakemeyer
2011	—	`conf`	A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot. ICIRA (2) Stefan Schiffer, Tobias Baumgartner, Gerhard Lakemeyer
2011	A*	`conf`	A Semantical Account of Progression in the Presence of Uncertainty. AAAI Vaishak Belle, Gerhard Lakemeyer
2011	J	`jnl`	A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. Gerhard Lakemeyer, Hector J. Levesque
2011	—	`conf`	Fuzzy Representations and Control for Domestic Service Robots in Golog. ICIRA (2) Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer
2011	A*	`conf`	On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. IJCAI Vaishak Belle, Gerhard Lakemeyer
2011	—	`ch.`	Requirements Engineering for Trust-Based Interorganizational Networks. Social Modeling for Requirements Engineering Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Dominik Schmitz
2010	—	`conf`	10081 Abstracts Collection - Cognitive Robotics. Cognitive Robotics Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri
2010	—	`conf`	Analyzing Agent-Based Simulations of Inter-organizational Networks. ADMI Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer
2010	—	`ed.`	Cognitive Robotics, 21.02. - 26.02.2010 Cognitive Robotics Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri
2010	—	`conf`	Cognitive Robotics. Cognitive Robotics Hector J. Levesque, Gerhard Lakemeyer
2010	—	`conf`	Design Principles of the Component-Based Robot Software Framework Fawkes. SIMPAR Tim Niemüller, Alexander Ferrein, Daniel Beck, Gerhard Lakemeyer
2010	J	`jnl`	Multi-Agent Only-Knowing Revisited CoRR Vaishak Belle, Gerhard Lakemeyer
2010	A*	`conf`	Multi-Agent Only-Knowing Revisited. KR Vaishak Belle, Gerhard Lakemeyer
2010	—	`conf`	On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. Cognitive Robotics Yongmei Liu, Gerhard Lakemeyer
2010	A	`conf`	On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI Jens Claßen, Gerhard Lakemeyer
2010	A*	`conf`	Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI Vaishak Belle, Gerhard Lakemeyer
2010	—	`conf`	Self-Maintenance for Autonomous Robots in the Situation Calculus. Cognitive Robotics Stefan Schiffer, Andreas Wortmann, Gerhard Lakemeyer
2010	J	`jnl`	The Situation Calculus: A Case for Modal Logic. J. Log. Lang. Inf. Gerhard Lakemeyer
2009	C	`conf`	A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. RoboCup Tim Niemüller, Alexander Ferrein, Gerhard Lakemeyer
2009	—	`conf`	A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications Gerhard Lakemeyer, Hector J. Levesque
2009	A*	`conf`	A Semantical Account of Progression in the Presence of Defaults. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2009	B	`conf`	Embedding fuzzy controllers in golog. FUZZ-IEEE Alexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer
2009	A*	`conf`	On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI Yongmei Liu, Gerhard Lakemeyer
2009	C	`conf`	Robust Collision Avoidance in Unknown Domestic Environments. RoboCup Stefan Jacobs, Alexander Ferrein, Stefan Schiffer, Daniel Beck, Gerhard Lakemeyer
2008	—	`conf`	A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. ICIRA (1) Alexander Ferrein, Stefan Schiffer, Gerhard Lakemeyer
2008	A*	`conf`	A Logic for Non-Terminating Golog Programs. KR Jens Claßen, Gerhard Lakemeyer
2008	C	`conf`	A Robust Speech Recognition System for Service-Robotics Applications. RoboCup Masrur Doostdar, Stefan Schiffer, Gerhard Lakemeyer
2008	—	`ch.`	Cognitive Robotics. Handbook of Knowledge Representation Hector J. Levesque, Gerhard Lakemeyer
2008	—	`conf`	Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. iStar Matthias Jarke, Ralf Klamma, Gerhard Lakemeyer, Dominik Schmitz
2008	A*	`conf`	First-Order Strong Progression for Local-Effect Basic Action Theories. KR Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque
2008	C	`conf`	Landmark-Based Representations for Navigating Holonomic Soccer Robots. RoboCup Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer
2008	J	`jnl`	Logic-based robot control in highly dynamic domains. Robotics Auton. Syst. Alexander Ferrein, Gerhard Lakemeyer
2008	—	`conf`	Modelling Actor Evolution in Agent-Based Simulations. AAMAS-OAMAS Aristama Roesli, Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke
2008	J	`jnl`	On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. Yongmei Liu, Gerhard Lakemeyer
2008	Misc	`conf`	Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. KI Christoph Mies, Alexander Ferrein, Gerhard Lakemeyer
2007	C	`conf`	A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. RoboCup Daniel Beck, Alexander Ferrein, Gerhard Lakemeyer
2007	A*	`conf`	A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer
2007	—	`conf`	Combining Sound Localization and Laser-based Object Recognition. AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics Laurent Calmes, Hermann Wagner, Stefan Schiffer, Gerhard Lakemeyer
2007	A*	`conf`	ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI Alfredo Gabaldon, Gerhard Lakemeyer
2007	Misc	`conf`	Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. KI Lutz Böhnstedt, Alexander Ferrein, Gerhard Lakemeyer
2007	C	`ed.`	RoboCup 2006: Robot Soccer World Cup X RoboCup Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi
2007	A*	`conf`	Towards an Integration of Golog and Planning. IJCAI Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel
2006	—	`conf`	Comparing Three Formal Analysis Approaches of the Tropos Family. AOIS Dominik Schmitz, Gerhard Lakemeyer, Matthias Jarke
2006	A*	`conf`	Foundations for Knowledge-Based Programs using ES. KR Jens Claßen, Gerhard Lakemeyer
2006	A*	`conf`	Towards an Axiom System for Default Logic. AAAI Gerhard Lakemeyer, Hector J. Levesque
2005	C	`conf`	Comparing Sensor Fusion Techniques for Ball Position Estimation. RoboCup Alexander Ferrein, Lutz Hermanns, Gerhard Lakemeyer
2005	—	`conf`	Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. AIIDE Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer
2005	J	`jnl`	Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks. Inf. Syst. Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz
2005	Misc	`conf`	Distributed Multi-robot Localization Based on Mutual Path Detection. KI Vazha Amiranashvili, Gerhard Lakemeyer
2005	C	`conf`	Laser-Based Localization with Sparse Landmarks. RoboCup Andreas Strack, Alexander Ferrein, Gerhard Lakemeyer
2005	A*	`conf`	Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI Gerhard Lakemeyer, Hector J. Levesque
2005	A*	`conf`	Semantics for a useful fragment of the situation calculus. IJCAI Gerhard Lakemeyer, Hector J. Levesque
2005	J	`jnl`	Using Golog for Deliberation and Team Coordination in Robotic Soccer. Künstliche Intell. Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer
2004	A*	`conf`	A Logic of Limited Belief for Reasoning with Disjunctive Information. KR Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque
2004	Misc	`conf`	On-Line Decision-Theoretic Golog for Unpredictable Domains. KI Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer
2004	—	`conf`	SNet Reloaded: Roles, Monitoring and Agent Evolution. AOIS Günter Gans, Dominik Schmitz, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer
2004	A*	`conf`	Situations, Si! Situation Terms, No! KR Gerhard Lakemeyer, Hector J. Levesque
2004	C	`conf`	Towards a League-Independent Qualitative Soccer Theory for RoboCup. RoboCup Frank Dylla, Alexander Ferrein, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner
2004	—	`conf`	Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks. OTM Workshops Dominik Schmitz, Gerhard Lakemeyer, Günter Gans, Matthias Jarke
2003	B	`conf`	An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. IVA Alexander Hornung, Gerhard Lakemeyer, Georg Trogemann
2003	J	`jnl`	Continuous requirements management for organisation networks: a (dis)trust-based approach. Requir. Eng. Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer
2003	A	`conf`	Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. CAiSE Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz
2003	A*	`conf`	Extending DTGOLOG with Options. IJCAI Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer
2003	J	`jnl`	Probabilistic Complex Actions in GOLOG. Fundam. Informaticae Henrik Grosskreutz, Gerhard Lakemeyer
2003	J	`jnl`	The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Mag. Jana Koehler, Gerhard Lakemeyer
2003	Misc	`conf`	What Observations Really Tell Us. KI Gero Iwan, Gerhard Lakemeyer
2003	J	`jnl`	ccGolog -- A Logical Language Dealing with Continuous Change. Log. J. IGPL Henrik Grosskreutz, Gerhard Lakemeyer
2002	A*	`conf`	Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR Gerhard Lakemeyer
2002	Misc	`ed.`	KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings KI Matthias Jarke, Jana Koehler, Gerhard Lakemeyer
2002	A	`conf`	SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. CAiSE Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits
2001	—	`conf`	Belief Update in the pGOLOG Framework. KI/ÖGAI Henrik Grosskreutz, Gerhard Lakemeyer
2001	J	`jnl`	Multi-agent Only Knowing. J. Log. Comput. Joseph Y. Halpern, Gerhard Lakemeyer
2001	A*	`conf`	On-Line Execution of cc-Golog Plans. IJCAI Henrik Grosskreutz, Gerhard Lakemeyer
2001	A	`conf`	Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. RE Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister
2000	J	`jnl`	Multi-Agent Only Knowing CoRR Joseph Y. Halpern, Gerhard Lakemeyer
2000	—	`conf`	Querying AOL Knowledge Bases. Intellectics and Computational Logic Gerhard Lakemeyer, Hector J. Levesque
2000	—	`book`	The logic of knowledge bases. Hector J. Levesque, Gerhard Lakemeyer
2000	J	`jnl`	Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. Künstliche Intell. Henrik Grosskreutz, Gerhard Lakemeyer
2000	A	`conf`	Turning High-Level Plans into Robot Programs in Uncertain Domains. ECAI Henrik Grosskreutz, Gerhard Lakemeyer
2000	J	`jnl`	cc-Golog: Towards More Realistic Logic-Based Robot Controllers CoRR Henrik Grosskreutz, Gerhard Lakemeyer
2000	—	`conf`	cc-Golog: Towards More Realistic Logic-Based Robot Controllers. AAAI/IAAI Henrik Grosskreutz, Gerhard Lakemeyer
1999	J	`jnl`	Experiences with an Interactive Museum Tour-Guide Robot. Artif. Intell. Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun
1999	A*	`conf`	Query Evaluation and Progression in AOL Knowledge Bases. IJCAI Gerhard Lakemeyer, Hector J. Levesque
1998	A*	`conf`	AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR Gerhard Lakemeyer, Hector J. Levesque
1998	Misc	`conf`	GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. KI Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer
1998	—	`conf`	The Interactive Museum Tour-Guide Robot. AAAI/IAAI Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun
1998	—	`conf`	The Museum Tour-Guide Robot RHINO. AMS Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun
1997	J	`jnl`	Relevance from an Epistemic Perspective. Artif. Intell. Gerhard Lakemeyer
1996	Misc	`conf`	Belief Revision in a Nonclassical Logic. KI Gerhard Lakemeyer, Wilfried Lang
1996	J	`jnl`	Limited Reasoning in First-Order Knowledge Bases with Full Introspection. Artif. Intell. Gerhard Lakemeyer
1996	B	`conf`	Multi-Agent Only Knowing. TARK Joseph Y. Halpern, Gerhard Lakemeyer
1996	A*	`conf`	Only Knowing in the Situation Calculus. KR Gerhard Lakemeyer
1995	A*	`conf`	A Logical Account of Relevance. IJCAI (1) Gerhard Lakemeyer
1995	J	`jnl`	Ist die Wissensrepräsentation tot? Künstliche Intell. Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe
1995	J	`jnl`	Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. Joseph Y. Halpern, Gerhard Lakemeyer
1994	A*	`conf`	Enhancing the Power of a Decidable First-Order Reasoner. KR Gerhard Lakemeyer, Susanne Meyer
1994	Misc	`conf`	Epistemic Queries in Classic. KI Andreas Becker, Gerhard Lakemeyer
1994	—	`ed.`	Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop] ECAI Workshop on Knowledge Representation and Reasoning Gerhard Lakemeyer, Bernhard Nebel
1994	J	`jnl`	Limited Reasoning in First-Order Knowledge Bases. Artif. Intell. Gerhard Lakemeyer
1993	A*	`conf`	All They Know About. AAAI Gerhard Lakemeyer
1993	A*	`conf`	All They Know: A Study in Multi-Agent Autoepistemic Reasoning. IJCAI Gerhard Lakemeyer
1992	A*	`conf`	All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). KR Gerhard Lakemeyer
1992	—	`conf`	Foundations of Knowledge Representation and Reasoning. ECAI Workshop on Knowledge Representation and Reasoning Gerhard Lakemeyer, Bernhard Nebel
1992	B	`conf`	On Perfect Introspection With Quantifying-in. TARK Gerhard Lakemeyer
1992	J	`jnl`	On perfect introspection with Quantifying-in. Fundam. Informaticae Gerhard Lakemeyer
1991	A*	`conf`	A Model of Decidable Introspective Reasoning with Quantifying-In. IJCAI Gerhard Lakemeyer
1991	—	`conf`	All I Know About Tweety. Nonmonotonic and Inductive Logic Gerhard Lakemeyer
1991	A*	`conf`	On the Relation between Explicit and Implicit Belief. KR Gerhard Lakemeyer
1990	B	`conf`	A Computationally Attractive First-Order Logic of Belief. JELIA Gerhard Lakemeyer
1990	A*	`conf`	Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. AAAI Gerhard Lakemeyer
1990	—	`—`	Models of belief for decidable reasoning in incomplete knowledge bases. Gerhard Lakemeyer
1988	B	`conf`	A Tractable Knowledge Representation Service with Full Introspection. TARK Gerhard Lakemeyer, Hector J. Levesque
1987	A*	`conf`	Tractable Meta-Reasoning in Propositional Logics of Belief. IJCAI Gerhard Lakemeyer
1986	B	`conf`	Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK Gerhard Lakemeyer