ISBN: 3-540-66495-5
TITLE: KI-99: Advances in Artificial Intelligence
AUTHOR: Burgard, Wolfram; Christaller, Thomas; Cremers, Armin B. (Eds.)
TOC:

Invited Papers
From AI to Systemic Knowledge Management 1
Helmut Willke
MINERVA: A Tour-Guide Robot that Learns 14
Sebastian Thrun, Maren Bennewitz, Wolfram Burgard, Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hhnel, Charles Rosenberg, Nicholas Roy, Jamieson Schulte, and Dirk Schulz
Dynamics, Morphology, and Materials in the Emergence of Cognition 27
Rolf Pfeifer
Natural Language Description of Image Sequences as a Form of Knowledge Representation 45
Hans-Hellmut Nagel
Knowledge Discovery in Spatial Databases 61
Martin Ester, Hans-Peter Kriegel, and Jrg Sander
Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication 75
Takashi Matsuyama
Technical Papers - Section 1
Computing Probabilistic Least Common Subsumers in Description Logics 89
Thomas Mantay, Ralf Mller, and Alissa Kaplunova
Revising Nonmonotonic Theories: The Case of Defeasible Logic 101
D. Billington, G. Antoniou, G. Governatori, and M. Maher
On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics 113
Werner Nutt
Following Conditional Structures of Knowledge 125
Gabriele Kern-Isberner
Section 2
A Theory of First-Order Counterfactual Reasoning 137
Michael Thielscher
LogicBased Choice of Projective Terms 149
Ralf Klabunde
Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style 159
Mathis Lthe
Inferring Flow of Control in Program Synthesis by Example 171
Stefan Schrdl and Stefan Edelkamp
Section 3
Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms 183
Bernhard Nebel
Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment 195
Ralph Bergmann and Ivo Vollrath
Be Busy and Unique or Be History - The Utility Criterion for Removing Units in Self-Organizing Networks 207
Bernd Fritzke
Section 4
Development of Decision Support Algorithms for Intensive Care Medicine: A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities 219
Michael Imhoff, Ursula Gather, and Katharina Morik
Object Recognition with Shape Prototypes in a 3D Construction Scenario 231
Martin Hoffhenke and Ipke Wachsmuth
Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers 243
Michael Beetz, Maren Bennewitz, and Henrik Grosskreutz
Section 5
Collaborative Multi-robot Localization 255
Dieter Fox, Wolfram Burgard, Hannes Kruppa, and Sebastian Thrun
Object Classification Using Simple, Colour Based Visual Attention and a Hierarchical Neural Network for Neuro-symbolic Integration 267
Hans A. Kestler, Steffen Simon, Axel Baune, Friedhelm Schwenker, and Gnther Palm
A Flexible Architecture for Driver Assistance Systems 281
Uwe Handmann, Iris Leefken, and Christos Tzomakas
Short Papers
A Theory for Causal Reasoning 285
Camilla Schwind
Systematic vs. Local Search for SAT 289
Holger H. Hoos and Thomas Sttzle
Information Environments for Software Agents 295
Stefan Haustein
Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals 299
Jrg Kahl, Lothar Hotz, Heiko Milde, and Stephanie E. Wessel
Agents in Traffic Modelling  From Reactive to Social Behaviour 303
Ana Lucia C. Bazzan, Joachim Wahle, and Franziska Klgl
Time-Effect Relations of Medical Interventions in a Clinical Information System 307
Michael Imhoff, Marcus Bauer, and Ursula Gather
Author Index 311
END
