Filters: Author is Lakemeyer, Gerhard [Clear All Filters]
"Continual Planning in Golog", Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), Phoenix, AZ, USA, AAAI Press, pp. 3346-3353, 2016.
"Decidable Reasoning in a First-Order Logic of Limited Conditional Belief", Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), The Hague, Netherlands, IOS Press, pp. 1379–1387, 2016.
"Decidable Reasoning in a Logic of Limited Belief with Function Symbols", 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Cape Town, South Africa, AAAI Press, pp. 288-297, 2016.
"Interruptible Task Execution with Resumption in Golog", Twenty-Second European Conference on Artificial Intelligence (ECAI 2016), Den Haag, The Netherlands, IOS Press, pp. 1265-1273, 2016.
"Sensor Fusion in the Epistemic Situation Calculus", Journal of Experimental & Theoretical Artificial Intelligence (JETAI), vol. 28, no. 5, pp. 871–887, 2016.
"Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents", Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation, Workshop at European Robotics Forum 2015: ERF, pp. 7–10, March 11–13, 2015.
"Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling", Computers, Environment and Urban Systems, vol. 51: Elsevier, 02/2015.
"Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus", Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015), Buenos Aires, Argentina, 2015.
"Projection in the Epistemic Situation Calculus with Belief Conditionals", Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-2015), Austin, Texas, 2015.
"Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs", Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), Quebec City, Quebec, Canada, AAAI Press, pp. 1012-1019, 2014.
"A Semantic Account of Iterated Belief Revision in the Situation Calculus", Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI-2014), Prague, Czech Republic, 2014.
"Sensor Fusion in the Epistemic Situation Calculus", Proceedings of the Ninth International Cognitive Robotics Workshop (CogRob-2014), Prague, Czech Republic, 2014.
"Towards Using i* for Modeling Mega-Urban Processes", Proceedings of the Seventh International i* Workshop (iStar14), Thessaloniki, Greece, 2014.
"Incremental Task-level Reasoning in a Competitive Factory Automation Scenario", AAAI Spring Symposium 2013 on Designing Intelligent Robots: Reintegrating AI II, Stanford, USA, AAAI, March 25-27, 2013.
"Lessons Learnt from Developing the Embodied AI Platform Caesar for Domestic Service Robotics", AAAI Spring Symposium 2013 on Designing Intelligent Robots: Reintegrating AI II, no. ss-13-04: AAAI, March 25-27, 2013.
"Simulation-based approach for avoiding external faults", 16th International Conference on Advanced Robotics, ICAR'13, 11/2013.
"Improving Robustness of Task Execution Against External Faults Using Simulation Based Approach", 24nd International Workshop on Principles of Diagnosis DX’13, 10/2013.
"RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed", RoboCup Symposium 2013, Eindhoven, Netherlands, Springer, 07/2013.
"Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics", 17th annual RoboCup International Symposium, Eindhoven, Netherlands, 07/2013.
"Aspects of Integrating Diverse Software into Robotic Systems", ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany, 05/2013.
"Spatio-Temporal Reasoning about Traffic Scenarios", Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning, Cyprus, 05/2013.
"Life-long Learning Perception using Cloud Database Technology", IROS 2013 - Cloud Robotics Workshop, Tokyo, Japan, 2013.
"On Decidable Verification of Non-terminating Golog Programs", Proceedings of the Tenth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013), Beijing, China, pp. 13–20, 2013.
"Proposal for Advancements to the LLSF in 2014 and beyond", ICAR 2013 - 1st Workshop on Developments in RoboCup Leagues, Montevideo, Uruguay, 2013.
"Towards Deliberative Active Perception using Persistent Memory", IROS 2013 - Workshop on AI-based Robotics, Tokyo, Japan, 2013.