Publications

Export 176 results:
Sort by: Author Title Type [ Year  (Desc)]
2015
Schiffer, S., A. Ferrein, and G. Lakemeyer, "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.
Goeckel, T., H. Wagner, S. Schiffer, and G. and Lakemeyer, "The Video Conference Tool Robot ViCToR", Intelligent Robotics and Applications: Springer Berlin / Heidelberg, pp. 61--73, Aug 24-27, 2015.
Schwering, C., G. Lakemeyer, and M. Pagnucco, "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.  Download: SchweringLakemeyerPagnucco2015.pdf (270.74 KB)
Zarrieß, B., and J. Claßen, "Decidable Verification of Knowledge-Based Programs over Description Logic Actions with Sensing", Proceedings of the Twenty-Eighth International Workshop on Description Logics (DL 2015), Athens, Greece, CEUR-WS.org, 2015.  Download: ZarriessClassen2015a.pdf (355.55 KB)
Schwering, C., and G. Lakemeyer, "Projection in the Epistemic Situation Calculus with Belief Conditionals", Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI-2015), Austin, Texas, 2015.  Download: SchweringLakemeyer2015.pdf (231.43 KB)
Zarrieß, B., and J. Claßen, "Verification of Knowledge-Based Programs over Description Logic Actions", Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence (IJCAI 2015),, Buenos Aires, Argentina, AAAI Press, 2015. Abstract  Download: ZarriessClassen2015b.pdf (631.56 KB)
2014
Claßen, J., M. Liebenberg, G. Lakemeyer, and B. Zarrieß, "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. Abstract  Download: ClassenEtAl2014.pdf (301.38 KB)
Zarrieß, B., and J. Claßen, "On the Decidability of Verifying LTL Properties of Golog Programs", Proceedings of the AAAI 2014 Spring Symposium: Knowledge Representation and Reasoning in Robotics (KRR'14), Palo Alto, California, USA, AAAI Press, 2014. Abstract  Download: ZarriessClassen2014a.pdf (290.49 KB)
Schwering, C., and G. Lakemeyer, "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. Abstract  Download: SchweringLakemeyer2014.pdf (264.53 KB)
Schwering, C., T. Niemueller, G. Lakemeyer, N. Abdo, and W. Burgard, "Sensor Fusion in the Epistemic Situation Calculus", Proceedings of the Ninth International Cognitive Robotics Workshop (CogRob-2014), Prague, Czech Republic, 2014. Abstract  Download: SchweringEtAl2014.pdf (1 MB)
Liebenberg, M., V. Mataré, K. Baier, and G. Lakemeyer, "Towards Using i* for Modeling Mega-Urban Processes", Proceedings of the Seventh International i* Workshop (iStar14), Thessaloniki, Greece, 2014.  Download: LiebenbergMatareBaierLakemeyer2014.pdf (357.41 KB)
Zarrieß, B., and J. Claßen, "Verifying CTL* Properties of Golog Programs over Local-Effect Actions", Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI 2014), Prague, Czech Republic, 2014. Abstract  Download: ZarriessClassen2014b.pdf (277.06 KB)
2013
Schiffer, S., "Natural Language Processing in Domestic Service Robotics", LingUnite – Tag der Sprachforschung, Oct 11, 2013. Abstract

Best Poster Award

Niemueller, T., G. Lakemeyer, and A. Ferrein, "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.  Download: clips-agent-llsf-aaai-springsymp2013.pdf (1.1 MB)
Ferrein, A., T. Niemueller, S. Schiffer, and G. Lakemeyer, "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.  Download: caesar-ai-platform-aaai-springsymp2013.pdf (3.85 MB)
Akhtar, N., A. Küstenmacher, P. G. Plöger, and G. Lakemeyer, "Simulation-based approach for avoiding external faults", 16th International Conference on Advanced Robotics, ICAR'13, 11/2013.  Download: ExternalFaultsSimBasedAppr.pdf (437.26 KB)
Niemueller, T., G. Lakemeyer, and A. Ferrein, "Aspects of Integrating Diverse Software into Robotic Systems", ICRA 2013 - 8th Workshop on Software Development and Integration in Robotics (SDIR), Karlsruhe, Germany, 05/2013.  Download: diverse-sw-integration-icra2013-sdir.pdf (3.74 MB)
Schwering, C., and G. Lakemeyer, "Spatio-Temporal Reasoning about Traffic Scenarios", Eleventh International Symposium on Logical Formalizations of Commonsense Reasoning, Cyprus, 05/2013. Abstract  Download: SchweringLakemeyer2013.pdf (249.89 KB)
Claßen, J., M. Liebenberg, and G. Lakemeyer, "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. Abstract  Download: ClassenLiebenbergLakemeyer2013.pdf (298.31 KB)