Upcoming eventsNavigationLatest Content
Recent Publications
|
PublicationsFilters: First Letter Of Last Name is C [Clear All Filters]
"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)
A Binaural Sound Source Localization System for a Mobile Robot,
: RWTH Aachen, 2002.
"Von Schleiereulen und fußballspielenden Robotern",
RWTH Themen, issue 1, 2006.
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
"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)
|