![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Gerhard Lakemeyer
Person information
- affiliation: RWTH Aachen University, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c164]Qihui Feng, Gerhard Lakemeyer:
Probabilistic Multi-agent Only-Believing. AAMAS 2024: 571-579 - [c163]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: 20-28 - [c162]Hayyan Helal, Gerhard Lakemeyer:
An Analysis of the Decidability and Complexity of Numeric Additive Planning. ICAPS 2024: 267-275 - [i25]Till Hofmann, Stefan Schupp, Gerhard Lakemeyer:
Decidable Reasoning About Time in Finite-Domain Situation Calculus Theories. CoRR abs/2402.03164 (2024) - 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) - [c161]Qihui Feng, Daxin Liu, Vaishak Belle, Gerhard Lakemeyer:
A Logic of Only-Believing over Arbitrary Probability Distributions. AAMAS 2023: 355-363 - [c160]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. IEEE Big Data 2023: 1308-1313 - [c159]Daxin Liu, Qinfei Huang, Vaishak Belle, Gerhard Lakemeyer:
Verifying Belief-Based Programs via Symbolic Dynamic Programming. ECAI 2023: 1497-1504 - [c158]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 - [c157]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: 361-374 - [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]Vaishak Belle, Gerhard Lakemeyer:
A Semantical Account of Progression in the Presence of Uncertainty. AAAI 2011: 165-170 - [c79]Stefan Schiffer
, Alexander Ferrein
, Gerhard Lakemeyer:
Fuzzy Representations and Control for Domestic Service Robots in Golog. ICIRA (2) 2011: 241-250 - [c78]Stefan Schiffer
, Tobias Baumgartner, Gerhard Lakemeyer:
A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot. ICIRA (2) 2011: 348-357 - [c77]Vaishak Belle, Gerhard Lakemeyer:
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. IJCAI 2011: 744-749 - [p1]Günter Gans, Matthias Jarke, Stefanie Kethers, Gerhard Lakemeyer, Dominik Schmitz:
Requirements Engineering for Trust-Based Interorganizational Networks. Social Modeling for Requirements Engineering 2011: 187-218 - 2010
- [j18]Gerhard Lakemeyer:
The Situation Calculus: A Case for Modal Logic. J. Log. Lang. Inf. 19(4): 431-450 (2010) - [c76]Vaishak Belle, Gerhard Lakemeyer:
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. AAAI 2010: 255-260 - [c75]Dominik Schmitz
, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer:
Analyzing Agent-Based Simulations of Inter-organizational Networks. ADMI 2010: 87-102 - [c74]Jens Claßen
, Gerhard Lakemeyer:
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. ECAI 2010: 887-892 - [c73]Vaishak Belle, Gerhard Lakemeyer:
Multi-Agent Only-Knowing Revisited. KR 2010 - [c72]Tim Niemüller, Alexander Ferrein
, Daniel Beck, Gerhard Lakemeyer:
Design Principles of the Component-Based Robot Software Framework Fawkes. SIMPAR 2010: 300-311 - [e4]Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri:
Cognitive Robotics, 21.02. - 26.02.2010. Dagstuhl Seminar Proceedings 10081, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2010 [contents] - [i7]Stefan Schiffer, Andreas Wortmann, Gerhard Lakemeyer:
Self-Maintenance for Autonomous Robots in the Situation Calculus. Cognitive Robotics 2010 - [i6]Gerhard Lakemeyer, Hector J. Levesque, Fiora Pirri:
10081 Abstracts Collection - Cognitive Robotics. Cognitive Robotics 2010 - [i5]Hector J. Levesque, Gerhard Lakemeyer:
Cognitive Robotics. Cognitive Robotics 2010 - [i4]Yongmei Liu, Gerhard Lakemeyer:
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. Cognitive Robotics 2010 - [i3]Vaishak Belle, Gerhard Lakemeyer:
Multi-Agent Only-Knowing Revisited. CoRR abs/1009.2041 (2010)
2000 – 2009
- 2009
- [c71]Gerhard Lakemeyer, Hector J. Levesque:
A Semantical Account of Progression in the Presence of Defaults. Conceptual Modeling: Foundations and Applications 2009: 82-98 - [c70]Alexander Ferrein
, Stefan Schiffer
, Gerhard Lakemeyer:
Embedding fuzzy controllers in golog. FUZZ-IEEE 2009: 894-899 - [c69]Gerhard Lakemeyer, Hector J. Levesque:
A Semantical Account of Progression in the Presence of Defaults. IJCAI 2009: 842-847 - [c68]Yongmei Liu, Gerhard Lakemeyer:
On First-Order Definability and Computability of Progression for Local-Effect Actions and Beyond. IJCAI 2009: 860-866 - [c67]Stefan Jacobs, Alexander Ferrein
, Stefan Schiffer
, Daniel Beck, Gerhard Lakemeyer:
Robust Collision Avoidance in Unknown Domestic Environments. RoboCup 2009: 116-127 - [c66]Tim Niemüller, Alexander Ferrein
, Gerhard Lakemeyer:
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. RoboCup 2009: 240-251 - 2008
- [j17]Yongmei Liu, Gerhard Lakemeyer:
On the Expressiveness of Levesque's Normal Form. J. Artif. Intell. Res. 31: 259-272 (2008) - [j16]Alexander Ferrein
, Gerhard Lakemeyer:
Logic-based robot control in highly dynamic domains. Robotics Auton. Syst. 56(11): 980-991 (2008) - [c65]Aristama Roesli, Dominik Schmitz
, Gerhard Lakemeyer, Matthias Jarke:
Modelling Actor Evolution in Agent-Based Simulations. AAMAS-OAMAS 2008: 126-144 - [c64]Alexander Ferrein
, Stefan Schiffer
, Gerhard Lakemeyer:
A Fuzzy Set Semantics for Qualitative Fluents in the Situation Calculus. ICIRA (1) 2008: 498-509 - [c63]Matthias Jarke, Ralf Klamma, Gerhard Lakemeyer, Dominik Schmitz:
Continuous, Requirements-Driven Support for Organizations, Networks, and Communities. iStar 2008: 47-50 - [c62]Christoph Mies, Alexander Ferrein
, Gerhard Lakemeyer:
Repairing Decision-Theoretic Policies Using Goal-Oriented Planning. KI 2008: 267-275 - [c61]Jens Claßen, Gerhard Lakemeyer:
A Logic for Non-Terminating Golog Programs. KR 2008: 589-599 - [c60]Stavros Vassos, Gerhard Lakemeyer, Hector J. Levesque:
First-Order Strong Progression for Local-Effect Basic Action Theories. KR 2008: 662-672 - [c59]Masrur Doostdar, Stefan Schiffer
, Gerhard Lakemeyer:
A Robust Speech Recognition System for Service-Robotics Applications. RoboCup 2008: 1-12 - [c58]Daniel Beck, Alexander Ferrein
, Gerhard Lakemeyer:
Landmark-Based Representations for Navigating Holonomic Soccer Robots. RoboCup 2008: 25-36 - [r1]Hector J. Levesque, Gerhard Lakemeyer:
Cognitive Robotics. Handbook of Knowledge Representation 2008: 869-886 - 2007
- [c57]Jens Claßen, Yuxiao Hu, Gerhard Lakemeyer:
A Situation-Calculus Semantics for an Expressive Fragment of PDDL. AAAI 2007: 956-961 - [c56]Alfredo Gabaldon, Gerhard Lakemeyer:
ESP: A Logic of Only-Knowing, Noisy Sensing and Acting. AAAI 2007: 974-979 - [c55]Laurent Calmes, Hermann Wagner, Stefan Schiffer, Gerhard Lakemeyer:
Combining Sound Localization and Laser-based Object Recognition. AAAI Spring Symposium: Multidisciplinary Collaboration for Socially Assistive Robotics 2007: 1-6 - [c54]Jens Claßen, Patrick Eyerich, Gerhard Lakemeyer, Bernhard Nebel:
Towards an Integration of Golog and Planning. IJCAI 2007: 1846-1851 - [c53]Lutz Böhnstedt, Alexander Ferrein
, Gerhard Lakemeyer:
Options in Readylog Reloaded - Generating Decision-Theoretic Plan Libraries in Golog. KI 2007: 352-366 - [c52]Daniel Beck, Alexander Ferrein
, Gerhard Lakemeyer:
A Simulation Environment for Middle-Size Robots with Multi-level Abstraction. RoboCup 2007: 136-147 - [e3]Gerhard Lakemeyer, Elizabeth Sklar, Domenico G. Sorrenti, Tomoichi Takahashi:
RoboCup 2006: Robot Soccer World Cup X. Lecture Notes in Computer Science 4434, Springer 2007, ISBN 978-3-540-74023-0 [contents] - 2006
- [c51]Gerhard Lakemeyer, Hector J. Levesque:
Towards an Axiom System for Default Logic. AAAI 2006: 263-268 - [c50]Dominik Schmitz
, Gerhard Lakemeyer, Matthias Jarke:
Comparing Three Formal Analysis Approaches of the Tropos Family. AOIS 2006: 164-182 - [c49]Jens Claßen, Gerhard Lakemeyer:
Foundations for Knowledge-Based Programs using ES. KR 2006: 318-328 - 2005
- [j15]Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz
:
Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks. Inf. Syst. 30(7): 587-607 (2005) - [j14]Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer:
Using Golog for Deliberation and Team Coordination in Robotic Soccer. Künstliche Intell. 19(1): 24- (2005) - [c48]Gerhard Lakemeyer, Hector J. Levesque:
Only-Knowing: Taking It Beyond Autoepistemic Reasoning. AAAI 2005: 633-638 - [c47]Stefan Jacobs, Alexander Ferrein, Gerhard Lakemeyer:
Controlling Unreal Tournament 2004 Bots with the Logic-based Action Language GOLOG. AIIDE 2005: 151-152 - [c46]Gerhard Lakemeyer, Hector J. Levesque:
Semantics for a useful fragment of the situation calculus. IJCAI 2005: 490-496 - [c45]Vazha Amiranashvili, Gerhard Lakemeyer:
Distributed Multi-robot Localization Based on Mutual Path Detection. KI 2005: 279-290 - [c44]Alexander Ferrein
, Lutz Hermanns, Gerhard Lakemeyer:
Comparing Sensor Fusion Techniques for Ball Position Estimation. RoboCup 2005: 154-165 - [c43]Andreas Strack, Alexander Ferrein
, Gerhard Lakemeyer:
Laser-Based Localization with Sparse Landmarks. RoboCup 2005: 569-576 - 2004
- [c42]Günter Gans, Dominik Schmitz
, Thomas Arzdorf, Matthias Jarke, Gerhard Lakemeyer:
SNet Reloaded: Roles, Monitoring and Agent Evolution. AOIS 2004: 68-84 - [c41]Alexander Ferrein
, Christian Fritz, Gerhard Lakemeyer:
On-Line Decision-Theoretic Golog for Unpredictable Domains. KI 2004: 322-336 - [c40]Gerhard Lakemeyer, Hector J. Levesque:
Situations, Si! Situation Terms, No! KR 2004: 516-526 - [c39]Yongmei Liu, Gerhard Lakemeyer, Hector J. Levesque:
A Logic of Limited Belief for Reasoning with Disjunctive Information. KR 2004: 587-597 - [c38]Dominik Schmitz
, Gerhard Lakemeyer, Günter Gans, Matthias Jarke:
Using BPEL Process Descriptions for Building Up Strategic Models of Inter-organizational Networks. OTM Workshops 2004: 520-532 - [c37]Frank Dylla, Alexander Ferrein
, Gerhard Lakemeyer, Jan Murray, Oliver Obst, Thomas Röfer, Frieder Stolzenburg, Ubbo Visser, Thomas Wagner
:
Towards a League-Independent Qualitative Soccer Theory for RoboCup. RoboCup 2004: 611-618 - 2003
- [j13]Jana Koehler, Gerhard Lakemeyer:
The Twenty-Fifth Annual German Conference on Artificial Intelligence (KI-2002). AI Mag. 24(2): 97-98 (2003) - [j12]Henrik Grosskreutz, Gerhard Lakemeyer:
Probabilistic Complex Actions in GOLOG. Fundam. Informaticae 57(2-4): 167-192 (2003) - [j11]Henrik Grosskreutz, Gerhard Lakemeyer:
ccGolog -- A Logical Language Dealing with Continuous Change. Log. J. IGPL 11(2): 179-221 (2003) - [j10]Günter Gans, Matthias Jarke, Stefanie Kethers
, Gerhard Lakemeyer:
Continuous requirements management for organisation networks: a (dis)trust-based approach. Requir. Eng. 8(1): 4-22 (2003) - [c36]Günter Gans, Matthias Jarke, Gerhard Lakemeyer, Dominik Schmitz
:
Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks. CAiSE 2003: 242-257 - [c35]Alexander Ferrein, Christian Fritz, Gerhard Lakemeyer:
Extending DTGOLOG with Options. IJCAI 2003: 1394-1395 - [c34]Alexander Hornung, Gerhard Lakemeyer, Georg Trogemann:
An Autonomous Real-Time Camera Agent for Interactive Narratives and Games. IVA 2003: 236-243 - [c33]Gero Iwan, Gerhard Lakemeyer:
What Observations Really Tell Us. KI 2003: 194-208 - 2002
- [c32]Günter Gans, Gerhard Lakemeyer, Matthias Jarke, Thomas Vits:
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog. CAiSE 2002: 328-343 - [c31]Gerhard Lakemeyer:
Evaluation-Based Reasoning with Disjunctive Information in First-Order Knowledge Bases. KR 2002: 73-81 - [e2]Matthias Jarke, Jana Koehler, Gerhard Lakemeyer:
KI 2002: Advances in Artificial Intelligence, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16-20, 2002, Proceedings. Lecture Notes in Computer Science 2479, Springer 2002, ISBN 3-540-44185-9 [contents] - 2001
- [j9]Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-agent Only Knowing. J. Log. Comput. 11(1): 41-70 (2001) - [c30]Henrik Grosskreutz, Gerhard Lakemeyer:
On-Line Execution of cc-Golog Plans. IJCAI 2001: 12-18 - [c29]Henrik Grosskreutz, Gerhard Lakemeyer:
Belief Update in the pGOLOG Framework. KI/ÖGAI 2001: 213-228 - [c28]Günter Gans, Matthias Jarke, Stefanie Kethers
, Gerhard Lakemeyer, Lutz Ellrich, Christiane Funken, Martin Meister:
Requirements Modeling for Organization Networks: A (Dis-)Trust-Based Approach. RE 2001: 154-165 - 2000
- [b2]Hector J. Levesque, Gerhard Lakemeyer:
The logic of knowledge bases. MIT Press 2000, ISBN 978-0-262-12232-0, pp. I-XVIII, 1-282 - [j8]Henrik Grosskreutz, Gerhard Lakemeyer:
Towards more Realistic Logic-based Robot Controllers in the GOLOG Framework. Künstliche Intell. 14(4): 11-15 (2000) - [c27]Henrik Grosskreutz, Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers. AAAI/IAAI 2000: 476-482 - [c26]Gerhard Lakemeyer, Hector J. Levesque:
Querying AOL Knowledge Bases. Intellectics and Computational Logic 2000: 225-244 - [c25]Henrik Grosskreutz, Gerhard Lakemeyer:
Turning High-Level Plans into Robot Programs in Uncertain Domains. ECAI 2000: 548-552 - [i2]Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-Agent Only Knowing. CoRR cs.AI/0001015 (2000) - [i1]Henrik Grosskreutz, Gerhard Lakemeyer:
cc-Golog: Towards More Realistic Logic-Based Robot Controllers. CoRR cs.AI/0003032 (2000)
1990 – 1999
- 1999
- [j7]Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun:
Experiences with an Interactive Museum Tour-Guide Robot. Artif. Intell. 114(1-2): 3-55 (1999) - [c24]Gerhard Lakemeyer, Hector J. Levesque:
Query Evaluation and Progression in AOL Knowledge Bases. IJCAI 1999: 124-131 - 1998
- [c23]Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun:
The Interactive Museum Tour-Guide Robot. AAAI/IAAI 1998: 11-18 - [c22]Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dirk Hähnel, Gerhard Lakemeyer, Dirk Schulz, Walter Steiner, Sebastian Thrun:
The Museum Tour-Guide Robot RHINO. AMS 1998: 245-254 - [c21]Dirk Hähnel, Wolfram Burgard, Gerhard Lakemeyer:
GOLEX - Bridging the Gap between Logic (GOLOG) and a Real Robot. KI 1998: 165-176 - [c20]Gerhard Lakemeyer, Hector J. Levesque:
AOL: A logic of Acting, Sensing, Knowing, and Only Knowing. KR 1998: 316-329 - 1997
- [j6]Gerhard Lakemeyer:
Relevance from an Epistemic Perspective. Artif. Intell. 97(1-2): 137-167 (1997) - 1996
- [j5]Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases with Full Introspection. Artif. Intell. 84(1-2): 209-255 (1996) - [c19]Gerhard Lakemeyer, Wilfried Lang:
Belief Revision in a Nonclassical Logic. KI 1996: 199-211 - [c18]Gerhard Lakemeyer:
Only Knowing in the Situation Calculus. KR 1996: 14-25 - [c17]Joseph Y. Halpern, Gerhard Lakemeyer:
Multi-Agent Only Knowing. TARK 1996: 251-265 - 1995
- [j4]Joseph Y. Halpern, Gerhard Lakemeyer:
Levesque's Axiomatization of only Knowing is Incomplete. Artif. Intell. 74(2): 381-387 (1995) - [j3]Ulrich Furbach, Hans-Jürgen Bürckert, Joachim Hertzberg, Bernhard Nebel, Gerhard Brewka, Gerhard Lakemeyer, Torsten Schaub, Frank Puppe:
Ist die Wissensrepräsentation tot? Künstliche Intell. 9(5): 18-26 (1995) - [c16]Gerhard Lakemeyer:
A Logical Account of Relevance. IJCAI (1) 1995: 853-861 - 1994
- [j2]Gerhard Lakemeyer:
Limited Reasoning in First-Order Knowledge Bases. Artif. Intell. 71(2): 213-255 (1994) - [c15]Andreas Becker, Gerhard Lakemeyer:
Epistemic Queries in Classic. KI 1994: 190-201 - [c14]Gerhard Lakemeyer, Susanne Meyer:
Enhancing the Power of a Decidable First-Order Reasoner. KR 1994: 403-414 - [e1]Gerhard Lakemeyer, Bernhard Nebel:
Foundation of Knowledge Representation and Reasoning [the book grew out of an ECAI-92 workshop]. Lecture Notes in Computer Science 810, Springer 1994, ISBN 3-540-58107-3 [contents] - 1993
- [c13]Gerhard Lakemeyer:
All They Know About. AAAI 1993: 662-667 - [c12]Gerhard Lakemeyer:
All They Know: A Study in Multi-Agent Autoepistemic Reasoning. IJCAI 1993: 376-381 - 1992
- [j1]Gerhard Lakemeyer:
On perfect introspection with Quantifying-in. Fundam. Informaticae 17(1-2): 75-98 (1992) - [c11]Gerhard Lakemeyer, Bernhard Nebel:
Foundations of Knowledge Representation and Reasoning. ECAI Workshop on Knowledge Representation and Reasoning 1992: 1-12 - [c10]Gerhard Lakemeyer:
All You Ever Wanted to Know about Tweety (But Were Afraid to Ask). KR 1992: 639-648 - [c9]Gerhard Lakemeyer:
On Perfect Introspection With Quantifying-in. TARK 1992: 199-213 - 1991
- [c8]Gerhard Lakemeyer:
A Model of Decidable Introspective Reasoning with Quantifying-In. IJCAI 1991: 492-497 - [c7]Gerhard Lakemeyer:
On the Relation between Explicit and Implicit Belief. KR 1991: 368-375 - [c6]Gerhard Lakemeyer:
All I Know About Tweety. Nonmonotonic and Inductive Logic 1991: 241-253 - 1990
- [b1]Gerhard Lakemeyer:
Models of belief for decidable reasoning in incomplete knowledge bases. University of Toronto, Canada, 1990 - [c5]Gerhard Lakemeyer:
Decidable Reasoning in First-Order Knowledge Bases with Perfect Introspection. AAAI 1990: 531-537 - [c4]Gerhard Lakemeyer:
A Computationally Attractive First-Order Logic of Belief. JELIA 1990: 333-347
1980 – 1989
- 1988
- [c3]Gerhard Lakemeyer, Hector J. Levesque:
A Tractable Knowledge Representation Service with Full Introspection. TARK 1988: 145-159 - 1987
- [c2]Gerhard Lakemeyer:
Tractable Meta-Reasoning in Propositional Logics of Belief. IJCAI 1987: 401-408 - 1986
- [c1]Gerhard Lakemeyer:
Steps Towards a First-Order Logic of Explicit and Implicit Belief. TARK 1986: 325-340
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-05 21:04 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint