Ki 2001: Advances in Artificial Intelligence : Joint German/Austrian Conference on Ai, Vienna, Austria, September 19-21, 2001, Proceedings

by Baader, Franz; Brewka, Gerhard; Eiter, Thomas

• ISBN13: 9783540426127
• ISBN10: 3540426124
• Format: Paperback
• Copyright: 2001-09-01
• Publisher: Springer Verlag

Summary

This book constitutes the refereed proceedings of the Joint German/Austrian Conference on Artificial Intelligence, KI 2001, held in Vienna, Austria in September 2001.The 29 revised full technical papers presented together with one invited paper and four posters of industrial papers were carefully reviewed and selected from 79 submissions. All current aspects in AI are addressed, ranging from theoretical and foundational issues to industrial applications.

Table of Contents

Invited Contributions
Computational Game Theory and AI	1	(1)
Michael Kearns
Optimal Agent Section	2	(16)
Fatma Ozcan
V.S. Subrahmanian
Leana Golubchik
Selected Papers
Towards First-Order Temporal Resolution	18	(15)
Anatoli Degtyarev
Michael Fisher
Approximating Most Specific Concepts in Description Logics with Existential Restrictions	33	(15)
Ralf Kusters
Ralf Molitor
Bayesian Learning and Evolutionary Parameter Optimization	48	(15)
Thomas Ragg
Papers on Foundations
Abductive Partial Order Planning with Dependent Fluents	63	(15)
Liviu Badea
Doina Tilivea
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques	78	(16)
Maren Bennewitz
Wolfram Burgard
Sebastian Thrun
Possible Worlds Semantics for Credulous and Contraction Inference	94	(12)
Alexander Bochman
The Point Algebra for Branching Time Revisited	106	(16)
Mathias Broxvall
Exploiting Conditional Equivalences in Connection Calculi	122	(16)
Stefan Bruning
Propositional Satisfiability in Answer-Set Programming	138	(16)
Deborah East
Mirostaw Truszczynski
Prediction of Regular Search Tree Growth by Spectral Analysis	154	(15)
Stefan Edelkamp
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search	169	(16)
Stefan Edelkamp
Ulrich Meyer
Hierarchical Diagnosis of Large Configurator Knowledge Bases	185	(13)
Alexander Felfernig
Gerhard E. Friedrich
Dietmar Jannach
Markus Stumptner
Markus Zanker
Towards Distributed Configuration	198	(15)
Alexander Felfernig
Gerhard E. Friedrich
Dietmar Jannach
Markus Zanker
Belief Update in the pGOLOG Framework	213	(16)
Henrik Grosskreutz
Gerhard Lakemeyer
Finding Optimal Solutions to Atomix	229	(15)
Falk Huffner
Stefan Edelkamp
Henning Fernau
Rolf Niedermeier
History-Based Diagnosis Templates in the Framework of the Situation Calculus	244	(16)
Gero Iwan
A Defense Model for Games with Incomplete Information	260	(15)
Wojciech Jamroga
Towards Inferring Labelling Heuristics for CSP Application Domains	275	(15)
Zeynep Kiziltan
Pierre Flener
Brahim Hnich
Addressing the Qualification Problem in FLUX	290	(15)
Yves Martin
Michael Thielscher
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots	305	(15)
Frank Schonherr
Mihaela Cistelecan
Joachim Hertzberg
Thomas Christaller
Learning Search Control Knowledge for Equational Theorem Proving	320	(15)
Stephan Schulz
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis	335	(16)
Gerd Stumme
Rafik Taouil
Yves Bastide
Nicolas Pasquier
Lotfi Lakhal
Comparing Two Models for Software Debugging	351	(15)
Markus Stumptner
Dominik Wieland
Franz Wotawa
Inferring Implicit State Knowledge and Plans with Sensing Actions	366	(15)
Michael Thielscher
Papers on Applications
Multi-agent Systems as Intelligent Virtual Environments	381	(15)
George Anastassakis
Tim Ritchings
Themis Panayiotopoulos
OilEd: A Reason-able Ontology Editor for the Semantic Web	396	(13)
Sean Bechhofer
Ian Horrocks
Carole Goble
Robert Stevens
Experiments with an Agent-Oriented Reasoning System	409	(16)
Christoph Benzmuller
Mateja Jamnik
Manfred Kerber
Volker Sorge
Learning to Execute Navigation Plans	425	(15)
Thorsten Belker
Michael Beetz
DiKe - A Model-Based Diagnosis Kernel and Its Application	440	(15)
Gerhard Fleischanderl
Thomas Havelka
Herwig Schreiner
Markus Stumptner
Franz Wotawa
Industrial Papers
Constraints Applied to Configurations	455	(4)
Gerhard Fleischanderl
From Theory to Practice: AI Planning for High Performance Elevator Control	459	(4)
Jana Koehler
Semantic Networks in a Knowledge Management Portal	463	(4)
Kai Lebeth
Collaborative Supply Net Management	467	(4)
Kurt Sundermeyer
Author Index	471