2018 (9)
Symbolic Verification of Golog Programs with First-Order BDDs. Claßen, J. In Thielscher, M.; Toni, F.; and Wolter, F., editor(s), Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018), pages 524–528, 2018. AAAI Press
Symbolic Verification of Golog Programs with First-Order BDDs [pdf]Paper   bibtex   abstract
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
Hybrid Reasoning for Intelligent Systems : A Focus of KR Research in Germany. Brewka, G.; and Lakemeyer, G. AI magazine, 39(4): 80–83. 2018.
Hybrid Reasoning for Intelligent Systems : A Focus of KR Research in Germany [link]Paper   doi   bibtex
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics. Leofante, F.; Abraham, E.; Niemueller, T.; Lakemeyer, G.; and Tacchella, A. Information Systems Frontiers,1–21. May 2018.
Integrated Synthesis and Execution of Optimal Plans for Multi-Robot Systems in Logistics [link]Paper   doi   bibtex
Interdisciplinary Data Driven Production Process Analysis for the Internet of Production. Meyes, R.; Tercan, H.; Thiele, T.; Krämer, A.; Heinisch, J.; Liebenberg, M.; Hirt, G.; Hopmann, C.; Lakemeyer, G.; Meisen, T.; and Jeschke, S. In Proceedings of the 46th North American Research Conference (NAMRC 46), pages 1065-1076, College Station, Texas, 2018.
Interdisciplinary Data Driven Production Process Analysis for the Internet of Production [link]Paper   bibtex   abstract
ERIKA – Early Robotics Introduction at Kindergarten Age. Schiffer, S.; and Ferrein, A. Multimodal Technologies and Interaction, 2(4). 2018.
ERIKA – Early Robotics Introduction at Kindergarten Age [link]Paper   doi   bibtex   abstract
Direct Volume Rendering in Virtual Reality. Scholl, I.; Suder, S.; and Schiffer, S. In Maier, A.; Deserno, T. M.; Handels, H.; Maier-Hein, K. H.; Palm, C.; and Tolxdorff, T., editor(s), Bildverarbeitung für die Medizin 2018, pages 297–302, Berlin, Heidelberg, March 2018. Springer
doi   bibtex   abstract
Optimized KinectFusion Algorithm for 3D Scanning Applications. Alhwarin, F.; Schiffer, S.; Ferrein, A.; and Scholl, I. In Proceedings of the 11th International Joint Conference on Biomedical Engineering Systems and Technologies - Volume 2: BIOIMAGING,, pages 50–57, 2018. INSTICC, SciTePress
Optimized KinectFusion Algorithm for 3D Scanning Applications [link]Paper   doi   bibtex
  2017 (10)
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
On the Synthesis of Guaranteed-Quality Plans for Robot Fleets in Logistics Scenarios via Optimization Modulo Theories. Leofante, F.; Abraham, E.; Niemueller, T.; Lakemeyer, G.; and Tacchella, A. In 2017 IEEE International Conference on Information Reuse and Integration, IRI 2017, San Diego, CA, USA, August 4-6, 2017, pages 403–410, November 2017. IEEE Computer Society
doi   bibtex
Combined learning processes for injection moulding based on simulation and experimental data. Hopmann, C.; Jeschke, S.; Meisen, T.; Thiele, T. D.; Tercan, H.; Liebenberg, M.; Heinisch, J.; and Theunissen, M. In 33rd International Conference of the Polymer Processing Society : PPS-33 : Cancun, Mexico, December 10-14, 2017, Lawrence, KS, Dec 2017. 33rd International Conference of the Polymer Processing Society, Cancún (Mexico), 10 Dec 2017 - 14 Dec 2017, Polymer Processing Society
Combined learning processes for injection moulding based on simulation and experimental data [link]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   abstract
A Decentralised System Approach for Controlling AGVs with ROS. Walenta, R.; Schellekens, T.; Ferrein, A.; and Schiffer, S. In Proceedings of the IEEE AFRICON 2017, September 18-20 2017. IEEE
A Decentralised System Approach for Controlling AGVs with ROS [link] conference   bibtex   abstract
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, volume 2 - Artificial Intelligence, pages 228–238, February 6-8 2017. SciTePress
bibtex   abstract
Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization. Niemueller, T.; Lakemeyer, G.; Leofante, F.; and Abraham, E. In Proceedings of the 5th Workshop on Planning and Robotics at ICAPS (PLANROB 2017), June 2017.
Towards CLIPS-based Task Execution and Monitoring with SMT-based Planning and Optimization [pdf]Paper   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. 2015.
Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling [pdf] paper   doi   bibtex   abstract
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, G. 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   abstract
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 (11)
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
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, 2011. AAAI Press
bibtex
A Logic for Specifying Partially Observable Stochastic Domains. Rens, G.; Meyer, T. A.; Ferrein, A.; and Lakemeyer, G. In Nonmonotonic Reasoning, Action, and Change (NRAC 2011), Barcelona, Spain, 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, 2011. AAAI Press, AAAI Press
On Progression and Query Evaluation in First-Order Knowledge Bases with Function Symbols [pdf] paper   bibtex   abstract   12 downloads