Publications

Export 185 results:
Sort by: Author Title Type [ Year  (Desc)]
2016
Hofmann, T., T. Niemueller, J. Claßen, and G. Lakemeyer, "Continual Planning in Golog", Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), Phoenix, AZ, USA, AAAI Press, pp. 3346-3353, 2016. Abstract  Download: HofmannEtAl2016.pdf (1.05 MB)
Schwering, C., and G. Lakemeyer, "Decidable Reasoning in a First-Order Logic of Limited Conditional Belief", Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), The Hague, Netherlands, IOS Press, pp. 1379–1387, 2016.  Download: SchweringLakemeyer2016.pdf (263.64 KB)
Lakemeyer, G., and H. J. Levesque, "Decidable Reasoning in a Logic of Limited Belief with Function Symbols", 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), Cape Town, South Africa, AAAI Press, pp. 288-297, 2016. Abstract  Download: LakemeyerLevesque2016.pdf (227.11 KB)
Zarrieß, B., and J. Claßen, "Decidable Verification of Golog Programs over Non-Local Effect Actions", Thirtieth AAAI Conference on Artificial Intelligence (AAAI 2016), Phoenix, AZ, USA, AAAI Press, pp. 1109-1115, 2016. Abstract  Download: ZarriessClassen2016a.pdf (557.67 KB)
Gierse, G., T. Niemueller, J. Claßen, and G. Lakemeyer, "Interruptible Task Execution with Resumption in Golog", Twenty-Second European Conference on Artificial Intelligence (ECAI 2016), Den Haag, The Netherlands, IOS Press, pp. 1265-1273, 2016. Abstract  Download: GierseEtAl2016.pdf (973.02 KB)
Claßen, J., and M. Neuss, "Knowledge-Based Programs with Defaults in a Modal Situation Calculus", Twenty-Second European Conference on Artificial Intelligence (ECAI 2016), Den Haag, The Netherlands, IOS Press, pp. 1309-1317, 2016. Abstract  Download: ClassenNeuss2016.pdf (300.12 KB)
Schwering, C., T. Niemueller, G. Lakemeyer, N. Abdo, and W. Burgard, "Sensor Fusion in the Epistemic Situation Calculus", Journal of Experimental & Theoretical Artificial Intelligence (JETAI), vol. 28, no. 5, pp. 871–887, 2016.  Download: SchweringEtAl2016.pdf (1.11 MB)
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. Abstract  Download: ViCToR.pdf (1.43 MB)
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)
Schiffer, S., and A. Ferrein, "Decision-Theoretic Planning with Linguistic Terms in Golog", 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.
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)