KI 2001: Advances in Artificial Intelligence

1. Front Matter

   Pages I-XIII

   PDF

2. Invited Contributions

   1. Computational Game Theory and AI

      • Michael Kearns

      Pages 1-1

   2. Optimal Agent Section

      • Fatma Özcan, V. S. Subrahmanian, Leana Golubchik

      Pages 2-17

3. Selected Papers

   1. Towards First-Order Temporal Resolution

      • Anatoli Degtyarev, Michael Fisher

      Pages 18-32

   2. Approximating Most Specific Concepts in Description Logics with Existential Restrictions

      • Ralf Küsters, Ralf Molitor

      Pages 33-47

   3. Bayesian Learning and Evolutionary Parameter Optimization

      • Thomas Ragg

      Pages 48-62

4. Papers on Foundations

   1. Abductive Partial Order Planning with Dependent Fluents

      • Liviu Badea, Doina Tilivea

      Pages 63-77

   2. Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques

      • Maren Bennewitz, Wolfram Burgard, Sebastian Thrun

      Pages 78-93

   3. Possible Worlds Semantics for Credulous and Contraction Inference

      • Alexander Bochman

      Pages 94-105

   4. The Point Algebra for Branching Time Revisited

      • Mathias Broxvall

      Pages 106-121

   5. Exploiting Conditional Equivalences in Connection Calculi

      • Stefan Brüning

      Pages 122-137

   6. Propositional Satisfiability in Answer-Set Programming

      • Deborah East, Mirosłlaw Truszczyński

      Pages 138-153

   7. Prediction of Regular Search Tree Growth by Spectral Analysis

      • Stefan Edelkamp

      Pages 154-168

   8. Theory and Practice of Time-Space Trade-Offs in Memory Limited Search

      • Stefan Edelkamp, Ulrich Meyer

      Pages 169-184

   9. Hierarchical Diagnosis of Large Configurator Knowledge Bases

      • Alexander Felfernig, Gerhard E. Friedrich, Markus Zanker, Dietmar Jannach, Markus Stumptner

      Pages 185-197

   10. Towards Distributed Configuration

       • Alexander Felfernig, Gerhard E. Friedrich, Dietmar Jannach, Markus Zanker

       Pages 198-212

   11. Belief Update in the pGOLOG Framework

       • Henrik Grosskreutz, Gerhard Lakemeyer

       Pages 213-228

   12. Finding Optimal Solutions to Atomix

       • Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier

       Pages 229-243

   13. History-Based Diagnosis Templates in the Framework of the Situation Calculus

       • Gero Iwan

       Pages 244-259

   14. A Defense Model for Games with Incomplete Information

       • Wojciech Jamroga

       Pages 260-274

This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the ?eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Arti?cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then ?fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.

• AI Logics
• Agent Technology
• Algorithmic Learning
• Artificial Intelligence
• Constraint Satisfaction
• Description Logics
• Kernel
• Knowledge Representation
• Navigation
• heuristics
• knowledge base
• multi-agent system
• ontology
• robot
• semantics

• RWTH Aachen, Theoretical Computer Science, Aachen, Germany

  Franz Baader

• Intelligent Systems Department, University of Leipzig, Computer Science Institute, Leipzig, Germany

  Gerhard Brewka

• Institute of Information Systems Knowledge-Based Systems Group, Vienna University of Technology, Wien, Austria

  Thomas Eiter

Policies and ethics