Publications

Export 13 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: First Letter Of Last Name is C  [Clear All Filters]
A B [C] D E F G H I J K L M N O P Q R S T U V W X Y Z   [Show ALL]
C
Calmes, L., H. Wagner, S. Schiffer, and G. Lakemeyer, "Combining Sound Localization and Laser based Object Recognition", AAAI Spring Symposium, Stanford CA, USA, AAAI Press, pp. 1-6, 2007. Abstract  Download: calmes2007soulabor.pdf (352.34 KB)
Calmes, L., G. Lakemeyer, and H. Wagner, "Azimuthal sound localization using coincidence of timing across frequency on a robotic platform", Journal of the Acoustical Society of America, vol. 121, no. 4, ASA, pp. 2034--2048, 2007.  Download: calmes2007jasa.pdf (380.69 KB)
Claßen, J., G. Röger, G. Lakemeyer, and B. Nebel, "PLATAS – Integrating Planning and the Action Language Golog", KI – Künstliche Intelligenz, vol. 26, issue 1: Springer, pp. 61-67, 2012.  Download: classen-et-al-KI-Sprachen-2012_preprint.pdf (640.1 KB)
Claßen, J., and G. Lakemeyer, "Tractable First-Order Golog with Disjunctive Knowledge Bases", Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning (Commonsense 2009), Toronto, Canada, UTSePress, pp. 27--33, 05/2009. Abstract  Download: CL_TractableGolog.pdf (173.22 KB)
Claßen, J., Y. Hu, and G. Lakemeyer, "A Situation-Calculus Semantics for an Expressive Fragment of PDDL", Proceedings of the 22nd Conference on Artificial Intelligence (AAAI 2007), Vancouver, Canada, AAAI Press, pp. 956--961, 07/2007. Abstract  Download: ClassenHuLakemeyer2007PDDL.pdf (280.7 KB)
Claßen, J., and G. Lakemeyer, "Foundations for Knowledge-Based Programs using ES", Proceedings of the 10th Conference on Principles of Knowledge Representation and Reasoning (KR 2006), Windermere, United Kingdom, AAAI Press, pp. 318--328, 06/2006. Abstract  Download: ClassenLakemeyer06Foundations.pdf (197.34 KB)
Claßen, J., and G. Lakemeyer, "On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs", Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010), Lisbon, Portugal, IOS Press, pp. 887--892, 08/2010. Abstract  Download: ECAI-202.pdf (279.75 KB)
Claßen, J., and G. Lakemeyer, "A Logic for Non-Terminating Golog Programs", Proceedings of the 11th International Conference on the Principles of Knowledge Representation and Reasoning (KR 2008), Sydney, Australia, AAAI Press, pp. 589--599, 09/2008. Abstract  Download: nonterminating.pdf (294.92 KB)
Claßen, J., and G. Lakemeyer, "A Semantics for ADL as Progression in the Situation Calculus", Proceedings of the 11th Workshop on Nonmonotonic Reasoning (NMR 2006), Windermere, United Kingdom, Institut für Informatik, TU Clausthal, pp. 334--341, 06/2006. Abstract  Download: ClaLak06ADLSemantics.pdf (177.41 KB)
Claßen, J., V. Engelmann, G. Lakemeyer, and G. Röger, "Integrating Golog and Planning: An Empirical Evaluation", Proceedings of the 12th International Workshop on Nonmonotonic Reasoning (NMR 2008), no. UNSW-CSE-TR-0819, Sydney, Australia, The University of New South Wales, pp. 10--18, 08/2008. Abstract  Download: integrating_empirical.pdf (291.54 KB)
Claßen, J., P. Eyerich, G. Lakemeyer, and B. Nebel, "Towards an Integration of Golog and Planning", Proceedings of the 20th International Joint Conference on Artificial Intelligence (IJCAI-07), Hyderabad, India, AAAI Press, pp. 1846--1851, 01/2007. Abstract  Download: ClaEyeLakNeb2007GologPlanning.pdf (166.13 KB)