Fachbeiträge

• Fachbeiträge - 1 (Mo 13.9.99, 10.50-12.50 Uhr)

  • Computing Probabilistic Least Common Subsumers in Description Logics
    Thomas Mantay, Ralf Möller, Alissa Kaplunova, Universität Hamburg.
  • Revising Nonmonotonic Belief Sets: The Case of Defeasible Logic
    D. Billington, G. Antoniou, G. Governatori, M. Maher, Griffith University, Brisbane, Australien.
  • On the Translation of Qualitative Spatial Reasoning Problems into Modal Logics
    Werner Nutt, DFKI Saarbrücken
  • Following Conditional Structures of Knowledge
    Gabriele Kern-Isberner, FernUniversität Hagen.

• Fachbeiträge - 2 (Mo 13.9.99, 10.50-12.50 Uhr)

  • A Theory of First-Order Counterfactual Reasoning
    Michael Thielscher, Universität Dresden.
  • Logic-based Choice of Dimensional Prepositions and Adverbs
    Ralf Klabunde, Universität Heidelberg.
  • Knowledge Based Automatic Composition and Variation of Melodies for Minuets in Early Classical Style
    Mathis Löthe, Universität Stuttgart.
  • Inferring Flow of Control in Program Synthesis by Example
    Stefan Schrödl, Stefan Edelkamp, Universität Freiburg.

• Fachbeiträge - 3 (Di 14.9.99, 10.20-11.50 Uhr)

  • Compilation Schemes -- A Theoretical Tool for Assessing the Expressive Power of Planning Formalisms
    Bernhard Nebel, Universität Freiburg.
  • Generalized Cases: Representation and Steps Towards Efficient Similarity Assessment
    Ralph Bergmann, Ivo Vollrath, Universität Kaiserslautern.
  • Be Busy and Unique ....... or Be History - The Utility Criterion for Removing Units in Self-Organizing Networks
    Bernd Fritzke, Dresden, University ofTechnology.

• Fachbeiträge - 4 (Di 14.9.99, 10.20-11.50 Uhr)

  • Development of a Decision Support Algorithms for Intensive Care Medicine:
    A New Approach Combining Time Series Analysis and a Knowledge Base System with Learning and Revision Capabilities
    Michael Imhoff, Ursula Gather, Katharina Morik, Städtische Kliniken Dortmund, Universität Dortmund.
  • Object Recognition with Shape Prototypes in a 3D Construction Scenario
    Martin Hoffhenke,Ipke Wachsmuth, Universität Bielefeld.
  • Probabilistic, Prediction-based Schedule Debugging for Autonomous Robot Office Couriers
    Michel Beetz, Maren Bennewitz, Hendrik Grosskreutz, Universität Bonn, Universität Aachen.

• Fachbeiträge - 5 (Mi 15.9.99, 11.00-12.10 Uhr)

  Gemeinsame Sitzung der KI-99 und DAGM-99
  • Collaborative Multi-Robot Localization
    Dieter Fox, Wolfram Burgard, Hannes Kruppa, Sebastian Thrun, Carnegie Mellon University, Pittsburgh, Universität Bonn, ETH Zürich.
  • A Hierarchical Neural Object Classifier for Subsymbolic-Symbolic Coupling
    H. A. Kestler, S. Simon, A. Baune, M. Hagenbuchner, F. Schwenker, G. Palm
    Universität Ulm, Universitätshospital Ulm, University of Wollongong (Australia).
  • A Flexible Archtecture for Driver Assistance Systems
    Uwe Handmann, Iris Leefken, Christos Tzomakas,
    Ruhr-Universität Bochum.

Sponsoren:

26. August 1999	Webadmin-KI99: stratman@cs.uni-bonn.de