2018 (2)
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions. Hofmann, T.; Mataré, V.; Schiffer, S.; Ferrein, A.; and Lakemeyer, G. In AAAI Spring Symposium 2018 on Integrating Representation, Reasoning, Learning, and Execution for Goal Directed Autonomy, Stanford, CA, USA, 2018.
Constraint-Based Online Transformation of Abstract Plans into Executable Robot Actions [pdf]Paper   bibtex   abstract
CLIPS-based Execution for PDDL Planners. Niemueller, T.; Hofmann, T.; and Lakemeyer, G. In Proceedings of the 2nd Workshop on Integrated Planning, Acting, and Execution (ICAPS IntEx), Delft, Netherlands, 2018.
CLIPS-based Execution for PDDL Planners [pdf]Paper   bibtex   abstract
  2017 (6)
Reasoning about Conditional Beliefs for the Winograd Schema Challenge. Golovin, D.; Claßen, J.; and Schwering, C. In Proceedings of the Thirteenth International Symposium on Commonsense Reasoning (Commonsense 2017), 2017. CEUR-WS.org
Reasoning about Conditional Beliefs for the Winograd Schema Challenge [pdf]Paper   bibtex   abstract
Decidable Verification of Decision-Theoretic Golog. Claßen, J.; and Zarrieß, B. In Proceedings of the Eleventh International Symposium on Frontiers of Combining Systems (FroCoS 2017), pages 227–243, 2017. Springer
Decidable Verification of Decision-Theoretic Golog [link]Paper   doi   bibtex   abstract
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots. Hofmann, T.; Niemueller, T.; and Lakemeyer, G. In Proceedings of the 27th International Conference on Automated Planning and Scheduling (ICAPS), Pittsburgh, PA, USA, 2017.
Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots [link] project   Initial Results on Generating Macro Actions from a Plan Database for Planning on Autonomous Mobile Robots [pdf]Paper   bibtex   abstract
Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017. Hofmann, T.; Mataré, V.; Neumann, T.; Schönitz, S.; Henke, C.; Limpert, N.; Niemueller, T.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium – Champion Teams Track, Nagoya, Japan, 2017.
Enhancing Software and Hardware Reliability for a Successful Participation in the RoboCup Logistics League 2017 [pdf]Paper   bibtex   abstract
An iStar 2.0 Editor Based on the Eclipse Modelling Framework. Liebenberg, M.; Roßmaier, K.; and Lakemeyer, G. In Proceedings of the Tenth International i* Workshop (iStar17), Essen, Germany, 2017.
An iStar 2.0 Editor Based on the Eclipse Modelling Framework [pdf]Paper   bibtex
Assisted Feature Engineering and Feature Learning to Build Knowledge-Based Agents for Arcade Games. Andelefski, B.; and Schiffer, S. In van den Herik, J.; Rocha, A. P.; and Filipe, J., editor(s), ICAART 2017 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, February 6-8 2017.
bibtex   abstract
  2016 (22)
Knowledge-Based Programs with Defaults in a Modal Situation Calculus. Claßen, J.; and Neuss, M. In Kaminka, G. A.; Fox, M.; Bouquet, P.; Hüllermeier, E.; Dignum, V.; Dignum, F.; and van Harmelen, F., editor(s), Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI 2016), pages 1309–1317, 2016. IOS Press
Knowledge-Based Programs with Defaults in a Modal Situation Calculus [pdf]Paper   doi   bibtex   abstract
Decidable Verification of Golog Programs over Non-Local Effect Actions. Zarrieß, B.; and Claßen, J. In Schuurmans, D.; and Wellman, M., editor(s), Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), pages 1109–1115, 2016. AAAI Press
Decidable Verification of Golog Programs over Non-Local Effect Actions [pdf]Paper   bibtex   abstract
Decidable Reasoning in a Logic of Limited Belief with Function Symbols. Lakemeyer, G.; and Levesque, H. J. In Baral, C.; Delgrande, J. P.; and Wolter, F., editor(s), 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pages 288-297, Cape Town, South Africa, 2016. AAAI Press, AAAI Press
Decidable Reasoning in a Logic of Limited Belief with Function Symbols [pdf] paper   bibtex   abstract
A First-Order Logic of Probability and Only Knowing in Unbounded Domains. Belle, V.; Lakemeyer, G.; and Levesque, H. J. In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA., pages 893–899, 2016.
bibtex
The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015. Jeschke, S.; and Lakemeyer, G. RoboCup 2015: Robot World Cup XIX, 9513: 47. 2016.
bibtex
Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. Lakemeyer, G. RoboCup 2015: Robot World Cup XIX, 9513: 31. 2016.
bibtex
A Rotating Platform for Swift Acquisition of Dense 3D Point Clouds. Neumann, T.; Dülberg, E.; Schiffer, S.; and Ferrein, A. pages 257–268. Springer International Publishing, August 22-24 2016.
A Rotating Platform for Swift Acquisition of Dense 3D Point Clouds [link]Paper   A Rotating Platform for Swift Acquisition of Dense 3D Point Clouds [link] spinger   doi   bibtex   abstract   buy
Why it is harder to run RoboCup in South Africa: Experiences from German South African collaborations. Ferrein, A.; Schiffer, S.; Booysen, T.; and Stopforth, R. International Journal of Advanced Robotic Systems, 13(5). 2016.
Why it is harder to run RoboCup in South Africa: Experiences from German South African collaborations [link]Paper   doi   bibtex   abstract
Integrating Qualitative Reasoning and Human-Robot Interaction in Domestic Service Robotics. Schiffer, S. KI - Künstliche Intelligenz, 30(3): 257–265. 2016.
Integrating Qualitative Reasoning and Human-Robot Interaction in Domestic Service Robotics [link]Paper   Integrating Qualitative Reasoning and Human-Robot Interaction in Domestic Service Robotics [link] springer   doi   bibtex   abstract
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief. Schwering, C.; and Lakemeyer, G. In Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), pages 1379–1387, The Hague, Netherlands, 2016. IOS Press
Decidable Reasoning in a First-Order Logic of Limited Conditional Belief [pdf] paper   bibtex
Sensor Fusion in the Epistemic Situation Calculus. Schwering, C.; Niemueller, T.; Lakemeyer, G.; Abdo, N.; and Burgard, W. Journal of Experimental & Theoretical Artificial Intelligence (JETAI), 28(5): 871–887. 2016.
Sensor Fusion in the Epistemic Situation Calculus [pdf] paper   bibtex
Cyber-Physical Systems – Foundations, Principles, and Applications. Niemueller, T.; Lakemeyer, G.; Reuter, S.; Jeschke, S.; and Ferrein, A. Benchmarking of Cyber-Physical Systems in Industrial Robotics – The RoboCup Logistics League as a CPS Benchmark Blueprint. Elsevier, 2016.
bibtex   buy
Industrial Internet of Things: Cybermanufacturing Systems. Niemueller, T.; Zwilling, F.; Lakemeyer, G.; Löbach, M.; Reuter, S.; Jeschke, S.; and Ferrein, A. Cyber-Physical System Intelligence – Knowledge-Based Mobile Robot Autonomy in an Industrial Scenario. Springer, 2016.
bibtex   buy
Continual Planning in Golog. Hofmann, T.; Niemueller, T.; Claßen, J.; and Lakemeyer, G. In Schuurmans, D.; and Wellman, M., editor(s), Thirtieth AAAI Conference on Artificial Intelligence (AAAI), pages 3346-3353, Phoenix, AZ, USA, 2016. AAAI Press, AAAI Press
Continual Planning in Golog [pdf]Paper   bibtex   abstract
Interruptible Task Execution with Resumption in Golog. Gierse, G.; Niemueller, T.; Claßen, J.; and Lakemeyer, G. In Kaminka, G. A.; Fox, M.; Bouquet, P.; Hüllermeier, E.; Dignum, V.; Dignum, F.; and van Harmelen, F., editor(s), Twenty-Second European Conference on Artificial Intelligence (ECAI), pages 1265-1273, Den Haag, The Netherlands, 2016. IOS Press, IOS Press
doi   bibtex   abstract
Improvements for a Robust Production in the RoboCup Logistics League 2016. Niemueller, T.; Neumann, T.; Henke, C.; Schönitz, S.; Reuter, S.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium – Champion Teams Track, 2016.
bibtex
Robust Multi-Modal Detection of Industrial Signal Light Towers. Mataré, V.; Niemueller, T.; and Lakemeyer, G. In RoboCup Symposium, Leipzig, Germany, 2016.
bibtex
Planning Competition for Logistics Robots in Simulation. Niemueller, T.; Karpas, E.; Vaquero, T.; and Timmons, E. In WS on Planning and Robotics (PlanRob) at Int. Conf. on Automated Planning and Scheduling (ICAPS), London, UK, 2016.
bibtex
An Integration Challenge to Bridge the Gap among Industry-inspired RoboCup Leagues. Zug, S.; Niemueller, T.; Hochgeschwender, N.; Seidensticker, K.; Seidel, M.; Friedrich, T.; Neumann, T.; Karras, U.; Kraetzschmar, G.; and Ferrein, A. In RoboCup Symposium, 2016.
bibtex
International Harting Open Source Award 2016: Fawkes for the RoboCup Logistics League. Niemueller, T.; Neumann, T.; Henke, C.; Schönitz, S.; Reuter, S.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium – Harting Award Paper, 2016.
bibtex
Knowledge-Based Instrumentation and Control for Competitive Industry-Inspired Robotic Domains. Niemueller, T.; Zug, S.; Schneider, S.; and Karras, U. KI - Künstliche Intelligenz, 30(289–299). 2016.
bibtex
Controlling Logistics Robots with the Action-based Language YAGI. Ferrein, A.; Maier, C.; Muehlbacher, C.; Niemueller, T.; Steinbauer, G.; and Vassos, S. In Proceedings of 9th International Conference on Intelligent Robotics and Applications (ICIRA2016), Tokio, Japan, 2016. Springer
bibtex
  2015 (23)
Verification of Knowledge-Based Programs over Description Logic Actions. Zarrieß, B.; and Claßen, J. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015), pages 3278–3284, 2015. AAAI Press
Verification of Knowledge-Based Programs over Description Logic Actions [pdf]Paper   bibtex   abstract
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing. Zarrieß, B.; and Claßen, J. In Proceedings of the Twenty-Eighth International Workshop on Description Logics (DL 2015), 2015. CEUR-WS.org
Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing [pdf]Paper   bibtex
Semantical considerations on multiagent only knowing. Belle, V.; and Lakemeyer, G. Artif. Intell., 223: 1–26. 2015.
doi   bibtex
A Modal Logic for the Decision-Theoretic Projection Problem. Rens, G.; Meyer, T. A.; and Lakemeyer, G. In ICAART 2015 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 2, Lisbon, Portugal, 10-12 January, 2015., pages 5–16, 2015.
bibtex
A Logic for Reasoning About Decision-Theoretic Projections. Rens, G.; Meyer, T. A.; and Lakemeyer, G. In Agents and Artificial Intelligence - 7th International Conference, ICAART 2015, Lisbon, Portugal, January 10-12, 2015, Revised Selected Papers, pages 79–99, 2015.
doi   bibtex
Only Knowing Meets Common Knowledge. Belle, V.; and Lakemeyer, G. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, pages 2755–2761, 2015.
bibtex
Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014. Jeschke, S.; and Lakemeyer, G. RoboCup 2014: Robot World Cup XVIII, 8992: 155. 2015.
bibtex
Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling. Baier, K.; Mataré, V.; Liebenberg, M.; and Lakemeyer, G. Computers, Environment and Urban Systems, 51. 02/2015 2015.
Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling [pdf] paper   doi   bibtex
Akbaba – An Agent for the Angry Birds AI Challenge Based on Search and Simulation. Schiffer, S.; Jourenko, M.; and Lakemeyer, G. IEEE Transactions on Computational Intelligence and AI in Games, PP(99): 1–12. Sep 2015.
doi   bibtex   abstract
Abstracting Away Low-Level Details in Service Robotics with Fuzzy Fluents. Schiffer, S.; Ferrein, A.; and Lakemeyer, G. In Model-Driven Knowledge Engineering for Improved Software Modularity in Robotics and Automation, Workshop at European Robotics Forum 2015, pages 7–10, March 11–13 2015. ERF, ERF
bibtex
The Video Conference Tool Robot ViCToR. Goeckel, T.; Wagner, H.; Schiffer, S.; ; and Lakemeyer, G. of Lecture Notes in Computer Science. pages 61–73. Springer Berlin / Heidelberg, Aug 24-27 2015.
The Video Conference Tool Robot ViCToR [link] springer   The Video Conference Tool Robot ViCToR [pdf] paper   doi   bibtex   abstract   buy
Proceedings of the Workshop on Fuzzy Logic in AI, FLinAI 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015. Díaz, I.; Ralescu, A.; and Schiffer, S. , editor s. Volume 1424. 2015.CEUR-WS.org.
Proceedings of the Workshop on Fuzzy Logic in AI, FLinAI 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015 [link]Paper   bibtex   buy
Decision-Theoretic Planning with Linguistic Terms in Golog. Schiffer, S.; and Ferrein, A. In Proceedings of the Workshop on Fuzzy Logic in AI, FLinAI 2015, co-located with the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Buenos Aires, Argentina, July 25, 2015., 2015.
Decision-Theoretic Planning with Linguistic Terms in Golog [pdf] pdf   bibtex
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus. Schwering, C.; Lakemeyer, G.; and Pagnucco, M. In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI-2015), Buenos Aires, Argentina, 2015.
Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus [pdf]Paper   Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus [pdf] paper   bibtex
Projection in the Epistemic Situation Calculus with Belief Conditionals. Schwering, C.; and Lakemeyer, G. In Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-2015), Austin, Texas, 2015.
Projection in the Epistemic Situation Calculus with Belief Conditionals [pdf]Paper   Projection in the Epistemic Situation Calculus with Belief Conditionals [pdf] paper   bibtex
Fawkes for the RoboCup Logistics League. Niemueller, T.; Reuter, S.; and Ferrein, A. In RoboCup Symposium 2015 – Development Track, 2015.
bibtex
The RoboCup Logistics League as a Benchmark for Planning in Robotics. Niemueller, T.; Lakemeyer, G.; and Ferrein, A. In Workshop on Planning and Robotics (PlanRob) at International Conference on Automated Planning and Scheduling (ICAPS), Jerusalem, Israel, June 2015.
bibtex
Controlling Logistics Robots with the Action-based Language YAGI. Ferrein, A.; Maier, C.; Muehlbacher, C.; Niemueller, T.; Steinbauer, G.; and Vassos, S. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems 2015 (IROS) – Workshop on Task Planning for Intelligent Robots in Service and Manufacturing, Hamburg, Germany, sep 2015. IEEE
bibtex
Evaluation of the RoboCup Logistics League and Derived Criteria for Future Competitions. Niemueller, T.; Reuter, S.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium 2015, 2015.
bibtex
The Carologistics Approach to Cope with the Increased Complexity and New Challenges of the RoboCup Logistics League 2015. Niemueller, T.; Reuter, S.; Ewert, D.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium – Champion Teams Track, 2015.
bibtex
The RoboCup Logistics League as a Holistic Multi-Robot Smart Factory Benchmark. Niemueller, T.; Ferrein, A.; Reuter, S.; Jeschke, S.; and Lakemeyer, G. In Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems 2015 (IROS) – Open forum on evaluation of results, replication of experiments and benchmarking in robotics research, Hamburg, Germany, sep 2015. IEEE
bibtex
The RoboCup Logistics League as a Benchmark for Future Production Scenarios. Ewert, D.; Ferrein, A.; Jeschke, S.; Lakemeyer, G.; Niemueller, T.; and Reuter, S. In Proceedings of the European Robotics Forum 2015 – Workshop on Cognitive Robotics in future manufacturing scenarios, Vienna, Austria, 2015.
bibtex
  2014 (8)
Verifying CTL* Properties of Golog Programs over Local-Effect Actions. Zarrieß, B.; and Claßen, J. In Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI 2014), pages 939-944, 2014. IOS Press
Verifying CTL* Properties of Golog Programs over Local-Effect Actions [pdf]Paper   bibtex   abstract
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs. Claßen, J.; Liebenberg, M.; Lakemeyer, G.; and Zarrieß, B. In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (AAAI 2014), pages 1012–1019, 2014. AAAI Press
Exploring the Boundaries of Decidable Verification of Non-Terminating Golog Programs [pdf]Paper   bibtex   abstract
On the Decidability of Verifying LTL Properties of Golog Programs. Zarrieß, B.; and Claßen, J. In Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14), 2014. AAAI Press
On the Decidability of Verifying LTL Properties of Golog Programs [pdf]Paper   bibtex   abstract
Towards Using i* for Modeling Mega-Urban Processes. Liebenberg, M.; Mataré, V.; Baier, K.; and Lakemeyer, L. In Proceedings of the Seventh International i* Workshop (iStar14), Thessaloniki, Greece, 2014.
Towards Using i* for Modeling Mega-Urban Processes [pdf]Paper   Towards Using i* for Modeling Mega-Urban Processes [pdf] paper   bibtex
A Semantic Account of Iterated Belief Revision in the Situation Calculus. Schwering, C.; and Lakemeyer, G. In Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI-2014), Prague, Czech Republic, 2014.
A Semantic Account of Iterated Belief Revision in the Situation Calculus [pdf]Paper   A Semantic Account of Iterated Belief Revision in the Situation Calculus [pdf] paper   bibtex   abstract
Sensor Fusion in the Epistemic Situation Calculus. Schwering, C.; Niemueller, T.; Lakemeyer, G.; Abdo, N.; and Burgard, W. In Proceedings of the Ninth International Cognitive Robotics Workshop (CogRob-2014), Prague, Czech Republic, 2014.
Sensor Fusion in the Epistemic Situation Calculus [pdf]Paper   Sensor Fusion in the Epistemic Situation Calculus [pdf] paper   bibtex   abstract
Decisive Factors for the Success of the Carologistics RoboCup Team in the RoboCup Logistics League 2014. Niemueller, T.; Reuter, S.; Ewert, D.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium – Champion Teams Track, 2014.
bibtex
Simulation for the RoboCup Logistics League with Real-World Environment Agency and Multi-level Abstraction. Zwilling, F.; Niemueller, T.; and Lakemeyer, G. In RoboCup Symposium, João Pessoa, Brazil, July 2014. Springer
bibtex
  2013 (19)
Lessons Learnt from Developing the Embodied AI Platform Caesar for Domestic Service Robotics. Ferrein, A.; Niemueller, T.; Schiffer, S.; and Lakemeyer, G. In AAAI Spring Symposium 2013 on Designing Intelligent Robots: Reintegrating AI II, March 25-27 2013. AAAI, AAAI
Lessons Learnt from Developing the Embodied AI Platform Caesar for Domestic Service Robotics [pdf] paper   bibtex
Simulation-based approach for avoiding external faults. Akhtar, N.; Küstenmacher, A.; Plöger, P. G.; and Lakemeyer, G. In 11/2013 2013.
Simulation-based approach for avoiding external faults [pdf] paper   bibtex
Improving Robustness of Task Execution Against External Faults Using Simulation Based Approach. Küstenmacher, A.; Plöger, P. G.; and Lakemeyer, G. In 10/2013 2013.
Improving Robustness of Task Execution Against External Faults Using Simulation Based Approach [pdf] paper   bibtex   abstract
RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed. Niemueller, T.; Ewert, D.; Reuter, S.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In RoboCup Symposium 2013, Eindhoven, Netherlands, 07/2013 2013. Springer, Springer
RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed [link]Paper   RoboCup Logistics League Sponsored by Festo: A Competitive Factory Automation Testbed [pdf] paper   bibtex
Unexpected Situations in Service Robot Environment: Classification and Reasoning Using Naive Physics. Küstenmacher, A.; Akhtar, N.; Plöger, P. G.; and Lakemeyer, G. In Eindhoven, Netherlands, 07/2013 2013.
bibtex   abstract
Aspects of Integrating Diverse Software into Robotic Systems. Niemueller, T.; Lakemeyer, G.; and Ferrein, A. In ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany, 05/2013 2013.
Aspects of Integrating Diverse Software into Robotic Systems [link]Paper   Aspects of Integrating Diverse Software into Robotic Systems [pdf] paper   bibtex
Life-long Learning Perception using Cloud Database Technology. Niemueller, T.; Schiffer, S.; Lakemeyer, G.; and Rezapour-Lakani, S. In IROS 2013 - Cloud Robotics Workshop, Tokyo, Japan, 2013.
Life-long Learning Perception using Cloud Database Technology [link]Paper   Life-long Learning Perception using Cloud Database Technology [pdf] paper   bibtex   abstract
Proposal for Advancements to the LLSF in 2014 and beyond. Niemueller, T.; Lakemeyer, G.; Ferrein, A.; Reuter, S.; Ewert, D.; Jeschke, S.; Pensky, D.; and Karras, U. In ICAR 2013 - 1st Workshop on Developments in RoboCup Leagues, Montevideo, Uruguay, 2013.
Proposal for Advancements to the LLSF in 2014 and beyond [link]Paper   Proposal for Advancements to the LLSF in 2014 and beyond [pdf] paper   bibtex
Towards Deliberative Active Perception using Persistent Memory. Niemueller, T.; Abdo, N.; Hertle, A.; Lakemeyer, G.; Burgard, W.; and Nebel, B. In IROS 2013 - Workshop on AI-based Robotics, Tokyo, Japan, 2013.
Towards Deliberative Active Perception using Persistent Memory [link]Paper   Towards Deliberative Active Perception using Persistent Memory [pdf] paper   bibtex   abstract
Planning and Verification in the Agent Language Golog. Claßen, J. Ph.D. Thesis, Department of Computer Science, RWTH Aachen University, 2013.
Planning and Verification in the Agent Language Golog [link]Paper   bibtex   abstract
On Decidable Verification of Non-terminating Golog Programs. Claßen, J.; Liebenberg, M.; and Lakemeyer, G. In Ji, J.; Strass, H.; and Wang, X., editor(s), Proceedings of the 10th International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC 2013), pages 13–20, 2013.
On Decidable Verification of Non-terminating Golog Programs [pdf]Paper   bibtex   abstract
Natural Language Processing in Domestic Service Robotics. Schiffer, S. In Neumann, S.; Niehr, T.; Runkehl, J.; Niemietz, P.; and Fest, J., editor(s), LingUnite – Tag der Sprachforschung, Oct 11 2013. Best Poster Award
bibtex   abstract
Natural Language Interpretation for an Interactive Service Robot in Domestic Domains. Schiffer, S.; Hoppe, N.; and Lakemeyer, G. Volume 358 of Communications in Computer and Information Science, Filipe, J.; and Fred, A., editor(s). pages 39–53. Springer Berlin Heidelberg, 2013.
bibtex   abstract   buy
Spatio-Temporal Reasoning about Traffic Scenarios. Schwering, C.; and Lakemeyer, G. In Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning, Cyprus, 05/2013 2013.
Spatio-Temporal Reasoning about Traffic Scenarios [pdf]Paper   Spatio-Temporal Reasoning about Traffic Scenarios [pdf] paper   bibtex   abstract
The Carologistics RoboCup Logistics Team 2013. Niemueller, T.; Ewert, D.; Reuter, S.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. Technical Report RWTH Aachen University and Aachen University of Applied Sciences, Aachen, Germany, June 2013.
bibtex
Towards Benchmarking Cyber-Physical Systems in Factory Automation Scenarios. Niemueller, T.; Ewert, D.; Reuter, S.; Karras, U.; Ferrein, A.; Jeschke, S.; and Lakemeyer, G. In KI 2013: Advances in Artificial Intelligence. Springer, 2013.
bibtex   buy
Towards Deliberative Active Perception using Persistent Memory. Niemueller, T.; Abdo, N.; Hertle, A.; Lakemeyer, G.; Burgard, W.; and Nebel, B. In Proceedings of the Workshop on AI-based Robotics at the International Conference on Intelligent Robots and Systems (IROS), Tokio, Japan, 2013.
bibtex
Incremental Task-level Reasoning in a Competitive Factory Automation Scenario. Niemueller, T.; Lakemeyer, G.; and Ferrein, A. In AAAI Spring Symposium 2013 on Designing Intelligent Robots: Reintegrating AI II, Stanford, USA, March 25-27 2013. AAAI, AAAI
Incremental Task-level Reasoning in a Competitive Factory Automation Scenario [link]Paper   bibtex
Proposal for Advancements to the LLSF in 2014 and beyond. Niemueller, T.; Lakemeyer, G.; Ferrein, A.; Reuter, S.; Ewert, D.; Jeschke, S.; Pensky, D.; and Karras, U. In ICAR – 1st Workshop on Developments in RoboCup Leagues, Montevideo, Uruguay, 2013.
bibtex
  2012 (12)
BendIT – An Interactive Game with two Robots. Niemueller, T.; Schiffer, S.; Helligrath, A.; Lakani, S. R.; and Lakemeyer, G. In Wölfl, S., editor(s), Poster and Demo Session at the 35th German Conference on Artificial Intelligence (KI 2012), pages 145–149, Saarbrücken, Germany, September 24–27 2012.
BendIT – An Interactive Game with two Robots [pdf] paper   BendIT – An Interactive Game with two Robots [pdf] poster   bibtex   abstract
A Generic Robot Database and its Application in Fault Analysis and Performance Evaluation. Niemueller, T.; Lakemeyer, G.; and Srinivasa, S. In IEEE/RSJ International Conference on Intelligent Robots and Systems 2012, Vilamoura, Algarve, Portugal, 2012.
A Generic Robot Database and its Application in Fault Analysis and Performance Evaluation [link]Paper   A Generic Robot Database and its Application in Fault Analysis and Performance Evaluation [pdf] paper   bibtex   abstract
Representing Value Functions with Recurrent Binary Decision Diagrams. Beck, D.; and Lakemeyer, G. In Proceedings of the 20th European Conference on Artificial Intelligence (ECAI 2012), Montpellier, 2012.
bibtex
PLATAS – Integrating Planning and the Action Language Golog. Claßen, J.; Röger, G.; Lakemeyer, G.; and Nebel, B. KI – Künstliche Intelligenz, 26(1): 61–67. 2012.
PLATAS – Integrating Planning and the Action Language Golog [link]Paper   doi   bibtex   1 download
robOCD: Robotic Order Cups Demo – An Interactive Domestic Service Robotics Demo. Schiffer, S.; Baumgartner, T.; Beck, D.; Maleki-Fard, B.; Niemueller, T.; Schwering, C.; and Lakemeyer, G. Saarbrücken, Germany, September 24–27 2012.
robOCD: Robotic Order Cups Demo – An Interactive Domestic Service Robotics Demo [pdf] paper   robOCD: Robotic Order Cups Demo – An Interactive Domestic Service Robotics Demo [pdf] poster   bibtex   abstract   buy
Flexible Command Interpretation on an Interactive Domestic Service Robot. Schiffer, S.; Hoppe, N.; and Lakemeyer, G. In Filipe, J.; and Fred, A., editor(s), Proceedings of the 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), volume Volume 1 - Artificial Intelligence, pages 26–35, Vilamoura, Portugal, February 6-8 2012. SciTePress, SciTePress Best Student Paper Award
Flexible Command Interpretation on an Interactive Domestic Service Robot [pdf] paper   bibtex   abstract
Caesar: An Intelligent Domestic Service Robot. Schiffer, S.; Ferrein, A.; and Lakemeyer, G. Intelligent Service Robotics,1–15. 2012.
Caesar: An Intelligent Domestic Service Robot [link] springer   Caesar: An Intelligent Domestic Service Robot [pdf] paper   doi   bibtex   abstract
An evaluation framework for traffic information systems based on data streams. Geisler, S.; Quix, C.; Schiffer, S.; and Jarke, M. Transportation Research Part C: Emerging Technologies, 23: 29–55. 2012.
An evaluation framework for traffic information systems based on data streams [link]Paper   doi   bibtex   abstract
Plan Recognition by Program Execution in Continuous Temporal Domains. Schwering, C.; Beck, D.; Schiffer, S.; and Lakemeyer, G. In Burgard, W.; Konolige, K.; Pagnucco, M.; and Vassos, S., editor(s), Proceedings of the Eighth International Cognitive Robotics Workshop (CogRob-2012), pages 77–84, Toronto, Canada, 2012. AAAI Press, AAAI Press
Plan Recognition by Program Execution in Continuous Temporal Domains [pdf]Paper   Plan Recognition by Program Execution in Continuous Temporal Domains [pdf] paper   bibtex   abstract
Plan Recognition by Program Execution in Continuous Temporal Domains. Schwering, C.; Beck, D.; Schiffer, S.; and Lakemeyer, G. In Proceedings of the Thirty-Fifth German Conference on Artificial Intelligence (KI-2012), Saarbrücken, 2012. Springer, Springer
Plan Recognition by Program Execution in Continuous Temporal Domains [pdf]Paper   Plan Recognition by Program Execution in Continuous Temporal Domains [pdf] paper   bibtex   abstract
HERB 2.0: Lessons Learned From Developing a Mobile Manipulator for the Home. Srinivasa, S. S.; Berenson, D.; Cakmak, M.; Collet, A.; Dogar, M. R.; Dragan, A. D.; Knepper, R. A.; Niemueller, T.; Strabala, K.; Vande Weghe, M.; and Ziegler, J. Proceedings of the IEEE, 100(8). 2012.
bibtex
BendIT – An Interactive Game with two Robots. Niemueller, T.; Schiffer, S.; Helligrath, A.; Lakani, S. R.; and Lakemeyer, G. In Poster and Demo Session at the 35th German Conference on Artificial Intelligence (KI 2012), Saarbrücken, Germany, September 24–27 2012.
bibtex
  2011 (13)
Belief Management for High-Level Robot Programs. Gspandl, S.; Pill, I.; Reip, M.; Steinbauer, G.; and Ferrein, A. In Barcelona, Spain, to appear 2011. AAAI Press
bibtex
A Logic for Specifying Partially Observable Stochastic Domains. Rens, G.; Meyer, T.; Ferrein, A.; and Lakemeyer, G. In Nonmonotonic Reasoning, Action, and Change (NRAC 2011), Barcelona, Spain, to appear 2011.
bibtex
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols. Belle, V.; and Lakemeyer, G. In Twenty-second International Joint Conference on Artificial Intelligence (IJCAI-11) , Barcelona, Spain, to appear 2011. AAAI Press, AAAI Press
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols [pdf] paper   bibtex   abstract   12 downloads
Reinforcement Learning for Golog Programs with First-Order State-Abstraction. Beck, D.; and Lakemeyer, G. Logic Journal of the IGPL. To appear 2011.
Reinforcement Learning for Golog Programs with First-Order State-Abstraction [pdf] paper   bibtex
A Semantical Account of Progression in the Presence of Uncertainty. Belle, V.; and Lakemeyer, G. In Twenty-Fifth Conference on Artificial Intelligence (AAAI-11), San Francisco, USA, to appear 2011. AAAI Press , AAAI Press
A Semantical Account of Progression in the Presence of Uncertainty [pdf] paper   bibtex   abstract   12 downloads
Towards Passive Walking for the Fully-actuated Biped Robot Nao. Priede, G.; and Ferrein, A. In International Conference on Industrial Electronics, Technology & Automation (IETA 10), to appear 2011.
bibtex
Providing Ground-truth Data for the Nao Robot Platform. Niemueller, T.; Ferrein, A.; Eckel, G.; Pirro, D.; Podbregar, P.; Kellner, T.; Rath, C.; and Steinbauer, G. Volume 6556 of Lecture Notes in Artificial Intelligence, del Solar, J R.; Chown, E; Plöger, P; and Matsumoto, A, editor(s). Providing ground-truth data for the nao robot platform, pages 133-144. Springer, Singapore, 25/06/2010 2011.
Providing Ground-truth Data for the Nao Robot Platform [pdf] paper   bibtex   abstract   buy
Decision-Theoretic Planning for Golog Programs with Action Abstraction. Beck, D.; and Lakemeyer, G. In Nonmonotonic Reasoning, Action, and Change (NRAC 2011), pages 39-46, Barcelona, Spain, 2011.
bibtex
Multi-Agent Only-Knowing. Belle, V.; and Lakemeyer, G. College Publications, 2011.
bibtex   buy   8 downloads
A semantic characterization of a useful fragment of the situation calculus with knowledge. Lakemeyer, G.; and Levesque, H. J. Artificial Intelligence, 175(1): 142-164. 2011.
doi   bibtex
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus. Schiffer, S.; Ferrein, A.; and Lakemeyer, G. Journal of Intelligent and Robotic Systems. Special Issue on Domestic Service Robots in the Real World., 66(1-2): 273–300. April 2012 2011.
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus [link] springer   Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus [pdf] paper   doi   bibtex   abstract
Fuzzy Representations and Control for Domestic Service Robots in Golog. Schiffer, S.; Ferrein, A.; and Lakemeyer, G. In Proceedings of the Fourth International Conference on Intelligent Robotics and Applications (ICIRA 2011), of Lecture Notes in Computer Science, pages 241-250, 12/2011 2011. Springer, Springer
Fuzzy Representations and Control for Domestic Service Robots in Golog [pdf] paper   doi   bibtex   abstract
A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot. Schiffer, S.; Baumgartner, T.; and Lakemeyer, G. In Proceedings of the Fourth International Conference on Intelligent Robotics and Applications (ICIRA 2011), of Lecture Notes in Computer Science, pages 348-357, 12/2011 2011. Springer, Springer
A Modular Approach to Gesture Recognition for Interaction with a Domestic Service Robot [pdf] paper   doi   bibtex   abstract
  2010 (17)
Design Principles of the Component-Based Robot Software Framework Fawkes. Niemueller, T.; Ferrein, A.; Beck, D.; and Lakemeyer, G. Volume 6472 of Lecture Notes in Computer Science, Ando, N.; Balakirsky, S.; Hemker, T.; Reggiani, M.; and von Str yk , O., editor(s). pages 300-311. Springer, Darmstadt, Germany, 11/2010 2010.
Design Principles of the Component-Based Robot Software Framework Fawkes [pdf] paper   bibtex   abstract   buy
A Lua-based Behavior Engine for Controlling the Humanoid Robot Nao. Niemueller, T.; Ferrein, A.; and Lakemeyer, G. Volume 5949 of Lecture Notes in Computer Science, Baltes, J.; Lagoudakis, M. G.; Naruse, T.; and Saeed Shiry Ghidary, undefined, editor(s). pages 240-251. Springer, Graz, Austria, 01/07/2009 2010.
bibtex   abstract   buy
Editorial: Hybrid control for autonomous systems – Integrating learning, deliberation and reactive control. Ferrein, A.; Siebel, N. T.; and Steinbauer, G. Robotics and Autonomous Systems, 54(9): 1037-1038. 2010.
bibtex
golog.lua: Towards a non-prolog implementation of golog for embedded systems. Ferrein, A. In 2010. AAAI Press
bibtex
Multi-Agent Only-Knowing Revisited. Belle, V.; and Lakemeyer, G. In Principles of Knowledge Representation and Reasoning (KR-2010), Toronto, Canada, 2010. AAAI Press, AAAI Press
Multi-Agent Only-Knowing Revisited [pdf] paper   bibtex   11 downloads
On the way to high-level programming for resource-limited embedded systems with golog. Ferrein, A.; and Steinbauer, G. Volume 6472 of Lecture Notes in Computer Science, Ando, N.; Balakirsky, S.; Hemker, T.; Reggiani, M.; and von Stryk, O., editor(s). pages 229-240. Springer, 2010.
bibtex   buy
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus. Belle, V.; and Lakemeyer, G. In Twenty-Fourth Conference on Artificial Intelligence (AAAI-10), Atlanta, Georgia, USA, 2010. AAAI Press, AAAI Press
Reasoning about Imperfect Information Games in the Epistemic Situation Calculus [pdf] paper   bibtex   13 downloads
Robot controllers for highly dynamic environments with real-time constraints. Ferrein, A. Künstliche Intelligenz, 24(2): 175-178. 2010.
bibtex
The Situation Calculus: A Case for Modal Logic. Lakemeyer, G. Journal of Logic, Language and Information, 19(4): 431-450. 2010.
doi   bibtex
A specification logic for reasoning about actions and explicit observations. Rens, G.; Varzinczak, I.; Meyer, T.; and Ferrein, A. Volume 6464 of Lecture Notes in Computer Science. pages 395-404. Springer, 2010.
bibtex   buy
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models. Subramanian, K. In Twenty-Fourth AAAI Conference on Artificial Intelligence (AAAI 2010), Student Paper, Atlanta, Georgia, USA, 2010. AAAI Press, AAAI Press
Task Space Behavior Learning for Humanoid Robots using Gaussian Mixture Models [pdf] paper   bibtex
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs. Claßen, J.; and Lakemeyer, G. In Coelho, H.; Studer, R.; and Wooldridge, M., editor(s), Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), pages 887–892, 2010. IOS Press
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs [pdf]Paper   doi   bibtex   abstract
A Data Stream-based Evaluation Framework for Traffic Information Systems. Geisler, S.; Quix, C.; and Schiffer, S. San Jose, CA, USA, November 2 2010.ACM.
bibtex   abstract   buy
Fuzzy Representations and Control for Domestic Service Robots in Golog. Schiffer, S.; Ferrein, A.; and Lakemeyer, G. In Iocchi, L.; Ruiz-del-Solar, J.; and van der Zant, T., editor(s), Domestic Service Robots in the Real World. Workshop Proceedings of the International Conference on Simulation, Modeling and Programming for Autonomous Robots (SIMPAR 2010), pages 183–192, Darmstadt, Germany, November 15-18 2010.
Fuzzy Representations and Control for Domestic Service Robots in Golog [link] workshop   Fuzzy Representations and Control for Domestic Service Robots in Golog [pdf] paper   bibtex   abstract
Self-Maintenance for Autonomous Robots controlled by ReadyLog. Schiffer, S.; Wortmann, A.; and Lakemeyer, G. In Ingrand, F.; and Guiochet, J., editor(s), Proceedings of the 7th IARP Workshop on Technical Challenges for Dependable Robots in Human Environments, pages 101–107, Toulouse, France, June 16-17 2010.
Self-Maintenance for Autonomous Robots controlled by ReadyLog [pdf] paper   bibtex   abstract
Self-Maintenance for Autonomous Robots in the Situation Calculus. Schiffer, S.; Wortmann, A.; and Lakemeyer, G. In Lakemeyer, G.; Levesque, H. J.; and Pirri, F., editor(s), Dagstuhl, Germany, 2010. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany
Self-Maintenance for Autonomous Robots in the Situation Calculus [link] drops   bibtex   abstract