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.
Author(s): Michael Kearns (auth.), Franz Baader, Gerhard Brewka, Thomas Eiter (eds.)
Series: Lecture Notes in Computer Science 2174 : Lecture Notes in Artificial Intelligence
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2001
Language: English
Pages: 474
Tags: Artificial Intelligence (incl. Robotics)
Computational Game Theory and AI....Pages 1-1
Optimal Agent Section....Pages 2-17
Towards First-Order Temporal Resolution....Pages 18-32
Approximating Most Specific Concepts in Description Logics with Existential Restrictions....Pages 33-47
Bayesian Learning and Evolutionary Parameter Optimization....Pages 48-62
Abductive Partial Order Planning with Dependent Fluents....Pages 63-77
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques....Pages 78-93
Possible Worlds Semantics for Credulous and Contraction Inference....Pages 94-105
The Point Algebra for Branching Time Revisited....Pages 106-121
Exploiting Conditional Equivalences in Connection Calculi....Pages 122-137
Propositional Satisfiability in Answer-Set Programming....Pages 138-153
Prediction of Regular Search Tree Growth by Spectral Analysis....Pages 154-168
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search....Pages 169-184
Hierarchical Diagnosis of Large Configurator Knowledge Bases....Pages 185-197
Towards Distributed Configuration....Pages 198-212
Belief Update in the pGOLOG Framework....Pages 213-228
Finding Optimal Solutions to Atomix....Pages 229-243
History-Based Diagnosis Templates in the Framework of the Situation Calculus....Pages 244-259
A Defense Model for Games with Incomplete Information....Pages 260-274
Towards Inferring Labelling Heuristics for CSP Application Domains....Pages 275-289
Addressing the Qualification Problem in FLUX....Pages 290-304
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots....Pages 305-319
Learning Search Control Knowledge for Equational Theorem Proving....Pages 320-334
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis....Pages 335-350
Comparing Two Models for Software Debugging....Pages 351-365
Inferring Implicit State Knowledge and Plans with Sensing Actions....Pages 366-380
Multi-agent Systems as Intelligent Virtual Environments....Pages 381-395
OilEd: A Reason-able Ontology Editor for the Semantic Web....Pages 396-408
Experiments with an Agent-Oriented Reasoning System....Pages 409-424
Learning to Execute Navigation Plans....Pages 425-439
DiKe - A Model-Based Diagnosis Kernel and Its Application....Pages 440-454
Constraints Applied to Configurations....Pages 455-458
From Theory to Practice: AI Planning for High Performance Elevator Control....Pages 459-462
Semantic Networks in a Knowledge Management Portal....Pages 463-466
Collaborative Supply Net Management....Pages 467-470
