Skip to main content
SpringerLink
Log in

KI 2001: Advances in Artificial Intelligence

Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

  • Conference proceedings
  • © 2001

Overview

Editors:
  1. Franz Baader

    1. RWTH Aachen, Theoretical Computer Science, Aachen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gerhard Brewka

    1. Intelligent Systems Department, University of Leipzig, Computer Science Institute, Leipzig, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Thomas Eiter

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 2174)

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (35 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter 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
Back to top

Keywords

About this book

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.

Editors and Affiliations

  • 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

Bibliographic Information

  • Book Title: KI 2001: Advances in Artificial Intelligence

  • Book Subtitle: Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001. Proceedings

  • Editors: Franz Baader, Gerhard Brewka, Thomas Eiter

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/3-540-45422-5

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 2001

  • Softcover ISBN: 978-3-540-42612-7Published: 05 September 2001

  • eBook ISBN: 978-3-540-45422-9Published: 30 June 2003

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: XIV, 474

  • Topics: Artificial Intelligence

Publish with us

Policies and ethics

Back to top

Search

Navigation