Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGerhard Lakemeyer
Person information
- affiliation: RWTH Aachen University, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[j39]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: 104350 (2023)- [c159]Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer:
A Logic of Only-Believing over Arbitrary Probability Distributions. AAMAS 2023: 355-363 - [c158]Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer:
Verifying Belief-Based Programs via Symbolic Dynamic Programming. ECAI 2023: 1497-1504 - [c157]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: 86-103 - [c156]Daxin Liu, Qihui Feng, Vaishak Belle, Gerhard Lakemeyer:
Concerning Measures in a First-order Logic with Actions and Meta-beliefs. KR 2023: 451-460 - [c155]Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer:
Self-Optimizing Agents Using Mixed Initiative Behavior Trees. SEAMS 2023: 97-103 - [i24]Mohamed Behery, Minh Trinh, Christian Brecher, Gerhard Lakemeyer:
Assistive Robot Teleoperation Using Behavior Trees. CoRR abs/2303.05177 (2023) - [i23]Mohamed Behery, Gerhard Lakemeyer:
Digital Shadows of Safety for Human Robot Collaboration in the World-Wide Lab. CoRR abs/2304.02126 (2023) - [i22]Hayyan Helal, Gerhard Lakemeyer:
Multi-Valued Partial Order Plans in Numeric Planning. CoRR abs/2307.14660 (2023) - [i21]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 abs/2310.02735 (2023) - [i20]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) - 2022
- [j38]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): 15:1-15:32 (2022) - [c154]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: 427-454 - [c153]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: 513-525 - [c152]James P. Delgrande, Joshua Sack, Gerhard Lakemeyer, Maurice Pagnucco:
Epistemic Logic of Likelihood and Belief. IJCAI 2022: 2599-2605 - [c151]Minh Trinh, Mohamed Behery, Mahmoud Emara, Gerhard Lakemeyer, Simon Storms, Christian Brecher:
Dynamics Modeling of Industrial Robots Using Transformer Networks. IRC 2022: 164-171 - [c150]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: 300-312 - [e6]Gabriele Kern-Isberner, Gerhard Lakemeyer, Thomas Meyer:
Proceedings of the 19th International Conference on Principles of Knowledge Representation and Reasoning, KR 2022, Haifa, Israel, July 31 - August 5, 2022. 2022, ISBN 978-1-956792-01-0 [contents] - [i19]Daxin Liu, Gerhard Lakemeyer:
On the Verification of Belief Programs. CoRR abs/2204.12562 (2022) - [i18]Daniel Swoboda, Till Hofmann, Tarik Viehmann, Gerhard Lakemeyer:
Towards Using Promises for Multi-Agent Cooperation in Goal Reasoning. CoRR abs/2206.09864 (2022) - [i17]Timo Rohrer, Anahita Farhang Ghahfarokhi, Mohamed Behery, Gerhard Lakemeyer, Wil M. P. van der Aalst:
Predictive Object-Centric Process Monitoring. CoRR abs/2207.10017 (2022) - [i16]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 abs/2211.12190 (2022) - [i15]Fredrik Heintz, Gerhard Lakemeyer, Sheila A. McIlraith:
Cognitive Robotics (Dagstuhl Seminar 22391). Dagstuhl Reports 12(9): 200-219 (2022) - 2021
- [c149]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: 525-535 - [c148]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: 80-91 - [c147]Victor Mataré, Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer, Alexander Ferrein, Stefan Schiffer:
Portable High-level Agent Programming with golog++. ICAART (2) 2021: 218-227 - [c146]Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer:
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. ICRA 2021: 11025-11031 - [c145]Daniel Habering, Till Hofmann, Gerhard Lakemeyer:
Using Platform Models for a Guided Explanatory Diagnosis Generation for Mobile Robots. IJCAI 2021: 1908-1914 - [c144]Daxin Liu, Gerhard Lakemeyer:
Reasoning about Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic. IJCAI 2021: 1951-1958 - [c143]Tarik Viehmann, Till Hofmann, Gerhard Lakemeyer:
Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints. IJCAI 2021: 2083-2089 - [c142]Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer:
Ontology-Assisted Generalisation of Robot Action Execution Knowledge. IROS 2021: 6763-6770 - [e5]Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem:
Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, KR 2021, Online event, November 3-12, 2021. 2021, ISBN 978-1-956792-99-7 [contents] - [i14]Till Hofmann, Gerhard Lakemeyer:
Controller Synthesis for Golog Programs over Finite Domains with Metric Temporal Constraints. CoRR abs/2102.09837 (2021) - [i13]Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer:
Robot Action Diagnosis and Experience Correction by Falsifying Parameterised Execution Models. CoRR abs/2105.09599 (2021) - [i12]Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer:
Ontology-Assisted Generalisation of Robot Action Execution Knowledge. CoRR abs/2107.09353 (2021) - 2020
- [j37]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): 3243-3253 (2020) - [c141]Till Hofmann, Tim Niemueller, Gerhard Lakemeyer:
Macro Operator Synthesis for ADL Domains. ECAI 2020: 761-768 - [c140]Alex Mitrevski, Paul G. Plöger, Gerhard Lakemeyer:
Representation and Experience-Based Learning of Explainable Models for Robot Action Execution. IROS 2020: 5641-5647 - [c139]Gerhard Lakemeyer, Hector J. Levesque:
A First-Order Logic of Limited Belief Based on Possible Worlds. KR 2020: 624-635 - [c138]Mohamed Behery, Matteo Tschesche, Fridtjof Rudolph, Gerhard Hirt, Gerhard Lakemeyer:
Action Discretization for Robot Arm Teleoperation in Open-Die Forging. SMC 2020: 2100-2105 - [c137]Aymen Gannouni, Vladimir Samsonov, Mohamed Behery, Tobias Meisen, Gerhard Lakemeyer:
Neural Combinatorial Optimization for Production Scheduling with Sequence-Dependent Setup Waste. SMC 2020: 2640-2647 - [i11]Vladimir Samsonov, Mohamed Behery, Gerhard Lakemeyer:
Reinforcement Learning for Short-Term Production Scheduling with Sequence-Dependent Setup Waste. ERCIM News 2020(122) (2020)
2010 – 2019
- 2019
- [j36]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): 87-107 (2019) - [c136]Tim Niemueller, Till Hofmann, Gerhard Lakemeyer:
Goal Reasoning in the CLIPS Executive for Integrated Planning and Execution. ICAPS 2019: 754-763 - [c135]Jens Claßen, Gerhard Lakemeyer, Benjamin Zarrieß:
Situation Calculus Meets Description Logics. Description Logic, Theory Combination, and All That 2019: 240-265 - [c134]Gerhard Lakemeyer:
Decidable Verification of Golog Programs: Situation Calculus Meets Description Logic. Description Logics 2019 - [c133]Gerhard Lakemeyer, Hector J. Levesque:
A Tractable, Expressive, and Eventually Complete First-Order Logic of Limited Belief. IJCAI 2019: 1764-1771 - [c132]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: 504-516 - 2018
- [j35]Gerhard Brewka, Gerhard Lakemeyer:
Hybrid Reasoning for Intelligent Systems: A Focus of KR Research in Germany. AI Mag. 39(4): 80-83 (2018) - [c131]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 - [c130]Björn Schäpers, Tim Niemueller, Gerhard Lakemeyer, Martin Gebser, Torsten Schaub:
ASP-Based Time-Bounded Planning for Logistics Robots. ICAPS 2018: 509-517 - [c129]Till Hofmann, Gerhard Lakemeyer:
A Logic for Specifying Metric Temporal Constraints for Golog Programs. CogRob@KR 2018: 36-46 - 2017
- [j34]Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco:
Belief revision and projection in the epistemic situation calculus. Artif. Intell. 251: 62-97 (2017) - [j33]Gerhard Lakemeyer:
DFG Research Unit (Forschergruppe) FOR 1513 Hybrid Reasoning for Intelligent Systems. Künstliche Intell. 31(1): 91-92 (2017) - [c128]Till Hofmann, Tim Niemueller, Gerhard Lakemeyer:
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. ICAPS 2017: 498-503 - [c127]Vaishak Belle, Gerhard Lakemeyer:
Reasoning about Probabilities in Unbounded First-Order Dynamical Domains. IJCAI 2017: 828-836 - [c126]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: 403-410 - [c125]Martin Liebenberg, Kerstin Roßmaier, Gerhard Lakemeyer:
An iStar 2.0 Editor Based on the Eclipse Modelling Framework. iStar 2017: 55-60 - [c124]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: 486-497 - [i10]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 abs/1711.04259 (2017) - 2016
- [j32]Christoph Schwering, Tim Niemueller, Gerhard Lakemeyer, Nichola Abdo, Wolfram Burgard:
Sensor fusion in the epistemic situation calculus. J. Exp. Theor. Artif. Intell. 28(5): 871-887 (2016) - [j31]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): 116-127 (2016) - [c123]Vaishak Belle, Gerhard Lakemeyer, Hector J. Levesque:
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. AAAI 2016: 893-899 - [c122]Till Hofmann, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer:
Continual Planning in Golog. AAAI 2016: 3346-3353 - [c121]Gesche Gierse, Tim Niemueller, Jens Claßen, Gerhard Lakemeyer:
Interruptible Task Execution with Resumption in Golog. ECAI 2016: 1265-1273 - [c120]Christoph Schwering, Gerhard Lakemeyer:
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. ECAI 2016: 1379-1387 - [c119]Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. KR 2016: 288-297 - [c118]Victor Mataré, Tim Niemueller, Gerhard Lakemeyer:
Robust Multi-modal Detection of Industrial Signal Light Towers. RoboCup 2016: 416-427 - [c117]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: 589-600 - [c116]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: 634-642 - 2015
- [j30]Vaishak Belle, Gerhard Lakemeyer:
Semantical considerations on multiagent only knowing. Artif. Intell. 223: 1-26 (2015) - [j29]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: 47-58 (2015) - [c115]Christoph Schwering, Gerhard Lakemeyer:
Projection in the Epistemic Situation Calculus with Belief Conditionals. AAAI 2015: 1583-1589 - [c114]Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
A Modal Logic for the Decision-Theoretic Projection Problem. ICAART (2) 2015: 5-16 - [c113]Gavin Rens, Thomas Andreas Meyer, Gerhard Lakemeyer:
A Logic for Reasoning About Decision-Theoretic Projections. ICAART (Revised Selected Papers) 2015: 79-99 - [c112]Tom Goeckel, Stefan Schiffer, Hermann Wagner, Gerhard Lakemeyer:
The Video Conference Tool Robot ViCToR. ICIRA (2) 2015: 61-73 - [c111]Vaishak Belle, Gerhard Lakemeyer:
Only Knowing Meets Common Knowledge. IJCAI 2015: 2755-2761 - [c110]Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco:
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. IJCAI 2015: 3214-3220 - [c109]Tim Niemueller, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer:
Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. RoboCup 2015: 31-43 - [c108]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: 47-59 - 2014
- [j28]Vaishak Belle, Gerhard Lakemeyer:
Multiagent Only Knowing in Dynamic Systems. J. Artif. Intell. Res. 49: 363-402 (2014) - [j27]Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
SLAP: Specification logic of actions with probability. J. Appl. Log. 12(2): 128-150 (2014) - [j26]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): 1-17 (2014) - [j25]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): 5-33 (2014) - [c107]Jens Claßen, Martin Liebenberg, Gerhard Lakemeyer, Benjamin Zarrieß:
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. AAAI 2014: 1012-1019 - [c106]Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer:
Towards Robust Task Execution for Domestic Service Robots. ICAPS 2014 - [c105]Christoph Schwering, Gerhard Lakemeyer:
A Semantic Account of Iterated Belief Revision in the Situation Calculus. ECAI 2014: 801-806 - [c104]Gavin Rens, Thomas Meyer, Gerhard Lakemeyer:
A Logic for Specifying Stochastic Actions and Observations. FoIKS 2014: 305-323 - [c103]Martin Liebenberg, Victor Matare, Klaus Baier, Gerhard Lakemeyer:
Towards Using i* for Modeling Mega-Urban Processes. iStar 2014 - [c102]Vaishak Belle, Gerhard Lakemeyer:
On the Progression of Knowledge in Multiagent Systems. KR 2014 - [c101]Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Fragment of the Epistemic Situation Calculus. KR 2014 - [c100]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: 155-167 - [c99]Frederik Zwilling, Tim Niemueller, Gerhard Lakemeyer:
Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction. RoboCup 2014: 220-232 - [i9]Thomas Ågotnes, Gerhard Lakemeyer, Benedikt Löwe, Bernhard Nebel:
Planning with epistemic goals (Dagstuhl Seminar 14032). Dagstuhl Reports 4(1): 83-103 (2014) - 2013
- [j24]Gerhard Lakemeyer:
First competition section paper published. Artif. Intell. 198: 72 (2013) - [c98]Alexander Ferrein, Tim Niemueller, Stefan Schiffer, Gerhard Lakemeyer:
Lessons Learnt from Developing the Embodied AI Platform CAESAR for Domestic Service Robotics. AAAI Spring Symposium: Designing Intelligent Robots 2013 - [c97]Tim Niemueller, Gerhard Lakemeyer, Alexander Ferrein:
Incremental Task-Level Reasoning in a Competitive Factory Automation Scenario. AAAI Spring Symposium: Designing Intelligent Robots 2013 - [c96]Naveed Akhtar, Anastassia Küstenmacher, Paul-Gerhard Plöger, Gerhard Lakemeyer:
Simulation-based approach for avoiding external faults. ICAR 2013: 1-8 - [c95]Gerhard Lakemeyer, Hector J. Levesque:
Decidable Reasoning in a Logic of Limited Belief with Introspection and Unknown Individuals. IJCAI 2013: 969-975 - [c94]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: 296-299 - [c93]Anastassia Küstenmacher, Naveed Akhtar, Paul-Gerhard Plöger, Gerhard Lakemeyer:
Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics. RoboCup 2013: 219-230 - [c92]Tim Niemueller, Daniel Ewert, Sebastian Reuter, Alexander Ferrein, Sabina Jeschke, Gerhard Lakemeyer:
RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed. RoboCup 2013: 336-347 - [i8]Radhakrishnan Delhibabu, Gerhard Lakemeyer:
A Rational and Efficient Algorithm for View Revision in Databases. CoRR abs/1301.5154 (2013) - 2012
- [j23]Daniel Beck, Gerhard Lakemeyer:
Reinforcement learning for Golog programs with first-order state-abstraction. Log. J. IGPL 20(5): 909-942 (2012) - [j22]Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer:
Caesar: an intelligent domestic service robot. Intell. Serv. Robotics 5(4): 259-273 (2012) - [j21]Stefan Schiffer, Alexander Ferrein, Gerhard Lakemeyer:
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. J. Intell. Robotic Syst. 66(1-2): 273-300 (2012) - [j20]Jens Claßen, Gabriele Röger, Gerhard Lakemeyer, Bernhard Nebel:
Platas - Integrating Planning and the Action Language Golog. Künstliche Intell. 26(1): 61-67 (2012) - [c91]Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer:
Plan Recognition by Program Execution in Continuous Temporal Domains. CogRob@AAAI 2012 - [c90]Hector J. Levesque, Gerhard Lakemeyer:
The Truth about Defaults. Correct Reasoning 2012: 422-435 - [c89]Gerhard Lakemeyer:
Multi-agent Only-Knowing. CLIMA 2012: 25 - [c88]Daniel Beck, Gerhard Lakemeyer:
Representing Value Functions with Recurrent Binary Decision Diagrams. ECAI 2012: 139-144 - [c87]Gerhard Lakemeyer, Yves Lespérance:
Efficient Reasoning in Multiagent Epistemic Logics. ECAI 2012: 498-503 - [c86]Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer:
Flexible Command Interpretation on an Interactive Domestic Service Robot. ICAART (1) 2012: 26-35 - [c85]Stefan Schiffer, Niklas Hoppe, Gerhard Lakemeyer:
Natural Language Interpretation for an Interactive Service Robot in Domestic Domains. ICAART (Revised Selected Papers) 2012: 39-53 - [c84]Tim Niemueller, Gerhard Lakemeyer, Siddhartha S. Srinivasa:
A generic robot database and its application in fault analysis and performance evaluation. IROS 2012: 364-369 - [c83]Christoph Schwering, Daniel Beck, Stefan Schiffer, Gerhard Lakemeyer:
Plan Recognition by Program Execution in Continuous Temporal Domains. KI 2012: 156-167 - [c82]Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing Meets Nonmonotonic Modal Logic. KR 2012 - [c81]Gavin Rens, Gerhard Lakemeyer, Thomas Meyer:
A Logic for Specifying Agent Actions and Observations with Probability. STAIRS 2012: 252-263 - 2011
- [j19]Gerhard Lakemeyer, Hector J. Levesque:
A semantic characterization of a useful fragment of the situation calculus with knowledge. Artif. Intell. 175(1): 142-164 (2011) - [c80]