Experience
Education
Bio
I am an Associate Professor of Computer Science and head of the knowledge-based systems group. I am also affiliated with the information systems group. Research Artifical Intelligence, Knowledge Representation, Cognitive Robotics Publications 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. RTF Tagged XML BibTex Google Scholar Baier, K., V. Mataré, M. Liebenberg, and G. Lakemeyer, "Towards integrated intentional agent simulation and semantic geodata management in complex urban systems modeling", Computers, Environment and Urban Systems, vol. 51: Elsevier, 02/2015. RTF Tagged XML BibTex Google Scholar Download: CEUS2015_preprint.pdf (580.66 KB) 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. RTF Tagged XML BibTex Google Scholar Download: SchweringLakemeyerPagnucco2015.pdf (270.74 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. RTF Tagged XML BibTex Google Scholar Download: SchweringLakemeyer2015.pdf (231.43 KB) 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 RTF Tagged XML BibTex Google Scholar Download: ClassenEtAl2014.pdf (301.38 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 RTF Tagged XML BibTex Google Scholar 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 RTF Tagged XML BibTex Google Scholar 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. RTF Tagged XML BibTex Google Scholar Download: LiebenbergMatareBaierLakemeyer2014.pdf (357.41 KB)