23. KI 1999: Bonn

Invited Papers

• Helmut Willke:
  From AI to Systemic Knowledge Management. 1-13
  
• Sebastian Thrun, Maren Bennewitz, Wolfram Burgard, Armin B. Cremers, Frank Dellaert, Dieter Fox, Dirk Hähnel, Charles R. Rosenberg, Nicholas Roy, Jamieson Schulte, Dirk Schulz:
  MINERVA: A Tour-Guide Robot that Learns. 14-26
  
• Rolf Pfeifer:
  Dynamics, Morpholgy, and Materials in the Emergence of Cognition. 27-44
  
• Hans-Hellmut Nagel:
  Natural Language Description of Image Sequences as a Form of Knowledge Representation. 45-60
  
• Martin Ester, Hans-Peter Kriegel, Jörg Sander:
  Knowledge Discovery in Spatial Databases. 61-74
  
• Takashi Matsuyama:
  Cooperative Distributed Vision: Dynamic Integration of Visual Perception, Action, and Communication. 75-88
  

Technical Papers - Section 1

• Thomas Mantay, Ralf Möller, Alissa Kaplunova:
  Computing Probabilistic Least Common Subsumers in Description Logics. 89-100
  
• David Billington, Grigoris Antoniou, Guido Governatori, Michael J. Maher:
  Revising Nonmonotonic Theories: The Case of Defeasible Logic. 101-112
  
• Werner Nutt:
  On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics. 113-124
  
• Gabriele Kern-Isberner:
  Following Conditional Structures of Knowledge. 125-136
  

Section 2

• Michael Thielscher:
  A Theory of First-Order Counterfactual Reasoning. 137-148
  
• Ralf Klabunde:
  Logic-Based Choice of Projective Terms. 149-158
  
• Mathis Löthe:
  Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style. 159-170
  
• Stefan Schrödl, Stefan Edelkamp:
  Inferring Flow of Control in Program Synthesis by Example. 171-182
  

Section 3

• Bernhard Nebel:
  Compilation Schemes: A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms. 183-194
  
• Ralph Bergmann, Ivo Vollrath:
  Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment. 195-206
  
• Bernd Fritzke:
  Be Busy and Unique ... or Be History - The Utility Criterion for Removing Units in Self-Organizing Networks. 207-218
  

Section 4

• Michael Imhoff, Ursula Gather, Katharina Morik:
  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-230
  
• Martin Hoffhenke, Ipke Wachsmuth:
  Object Recognition with Shape Prototypes in a 3D Construction Scenario. 231-242
  
• Michael Beetz, Maren Bennewitz, Henrik Grosskreutz:
  Probabilistic, Prediction-Based Schedule Debugging for Autonomous Robot Office Couriers. 243-254
  

Section 5

• Dieter Fox, Wolfram Burgard, Hannes Kruppa, Sebastian Thrun:
  Collaborative Multi-robot Localization. 255-266
  
• Hans A. Kestler, Steffen Simon, Axel Baune, Friedhelm Schwenker, Günther Palm:
  Object Classification Using Simple, Colour Based Visual Attention and a Hierarchical Neural Network for Neuro-symbolic Integration. 267-279
  
• Uwe Handmann, Iris Leefken, Christos Tzomakas:
  A Flexible Architecture for Driver Assistance Systems. 281-284
  

Short Papers

• Camilla Schwind:
  A Theory for Causal Reasoning. 285-288
  
• Holger H. Hoos, Thomas Stützle:
  Systematic vs. Local Search for SAT. 289-293
  
• Stefan Haustein:
  Information Environments for Software Agents. 295-298
  
• Jörg Kahl, Lothar Hotz, Heiko Milde, Stephanie Wessel:
  Improving Reasoning Efficiency for Subclasses of Allen's Algebra with Instantiation Intervals. 299-302
  
• Ana L. C. Bazzan, Joachim Wahle, Franziska Klügl:
  Agents in Traffic Modelling - From Reactive to Social Behaviour. 303-306
  
• Michael Imhoff, Marcus Bauer, Ursula Gather:
  Time-Effect Relations of Medical Interventions in a Clinical Information System. 307-310
  

Last update Sat May 25 10:01:15 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page