Publications

Export 121 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is Lakemeyer, Gerhard  [Clear All Filters]
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)
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)
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)
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)
2013
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)
Niemueller, T., G. Lakemeyer, A. Ferrein, S. Reuter, D. Ewert, S. Jeschke, D. Pensky, and U. Karras, "Proposal for Advancements to the LLSF in 2014 and beyond", ICAR 2013 - 1st Workshop on Developments in RoboCup Leagues, Montevideo, Uruguay, 2013.  Download: llsf2014-wdrl2013.pdf (1.74 MB)
Schiffer, S., N. Hoppe, and G. Lakemeyer, "Natural Language Interpretation for an Interactive Service Robot in Domestic Domains", Agents and Artificial Intelligence. Fourth International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers., vol. 358: Springer Berlin Heidelberg, pp. 39–53, 2013. Abstract
2012
Niemueller, T., S. Schiffer, A. Helligrath, S. R. Lakani, and G. Lakemeyer, "BendIT – An Interactive Game with two Robots", Poster and Demo Session at the 35th German Conference on Artificial Intelligence (KI 2012), Saarbrücken, Germany, pp. 145--149, September 24--27, 2012. Abstract  Download: KI2012BendIT.pdf (545.29 KB); KI2012BendIT_poster.pdf (478.17 KB)
Schiffer, S., T. Baumgartner, D. Beck, B. Maleki-Fard, T. Niemueller, C. Schwering, and G. Lakemeyer, "robOCD: Robotic Order Cups Demo – An Interactive Domestic Service Robotics Demo", Poster and Demo Session at the 35th German Conference on Artificial Intelligence (KI 2012), Saarbrücken, Germany, pp. 150--154, September 24--27, 2012. Abstract  Download: KI2012robOCD.pdf (1.05 MB); KI2012robOCD_poster.pdf (468.49 KB)
Schiffer, S., N. Hoppe, and G. Lakemeyer, "Flexible Command Interpretation on an Interactive Domestic Service Robot", Proceedings of the 4th International Conference on Agents and Artificial Intelligence (ICAART 2012), vol. Volume 1 - Artificial Intelligence, Vilamoura, Portugal, SciTePress, pp. 26–35, February 6-8, 2012. Abstract

Best Student Paper Award

 Download: icaart2012flexicon.pdf (291.82 KB)
Schiffer, S., A. Ferrein, and G. Lakemeyer, "Caesar: An Intelligent Domestic Service Robot", Intelligent Service Robotics: Springer Berlin / Heidelberg, pp. 1–15, 2012. Abstract  Download: JISR2012Caesar_preprint.pdf (686.21 KB)
Niemueller, T., G. Lakemeyer, and S. Srinivasa, "A Generic Robot Database and its Application in Fault Analysis and Performance Evaluation", IEEE/RSJ International Conference on Intelligent Robots and Systems 2012, Vilamoura, Algarve, Portugal, 2012. Abstract  Download: robodb-iros2012.pdf (404.43 KB)