Important Dates
Call for Papers/WS
Paper Submission
Program Committee
Author Instructions
Invited Talks
Industrial Day
Accepted Papers
Travel Information

Accepted Papers

George Anastassakis, Tim Ritchings, Themis Panayiotopoulos
Multi-Agent Systems as Intelligent Virtual Environments

Liviu Badea, Doina Tilivea
Abductive Partial Order Planning with Dependent Fluents

Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens
OilEd: A Reason-able Ontology Editor for the Semantic Web

Thorsten Belker, Michael Beetz
Learning to Execute Navigation Plans

Maren Bennewitz, Wolfram Burgard, Sebastian Thrun
Constraint-based Optimization of Priority Schemes for Decoupled Path Planning Techniques

Christoph Benzmueller, Mateja Jamnik, Manfred Kerber, Volker Sorge
An Agent-oriented Approach to Reasoning

Alexander Bochman
Possible worlds semantics for credulous and contraction inference

Mathias Broxvall
The Point Algebra for Branching Time Revisited

Stefan Bruening
Exploiting Conditional Equivalences in Connection Calculi

Anatoli Degtyarev, Michael Fisher
Towards First-Order Temporal Resolution

Deborah East, Miroslaw Truszczynski
Propositional satisfiability in answer set programming

Stefan Edelkamp
Prediction of Regular Search Tree Growth by Spectral Analysis

Stefan Edelkamp, Ulrich Meyer
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker
Hierarchical diagnosis of large configurator knowledge bases

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker
Towards Distributed Configuration

Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
DiKe - A Model-Based Diagnosis Kernel and its Application

Henrik Grosskreutz, Gerhard Lakemeyer
Belief Update in the pGolog Framework

Falk Hueffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier
Finding Optimal Solutions to Atomix

Gero Iwan
History-based Diagnosis Templates in the Framework of the Situation Calculus

Wojciech Jamroga
A Defense Model for Games with Incomplete Information

Zeynep Kiziltan, Pierre Flener, Brahim Hnich
Towards Inferring Labelling Heuristics for CSP Application Domains

Ralf Kuesters, Ralf Molitor
Approximating Most Specific Concepts in Description Logics with Existential Restrictions

Yves Martin, Michael Thielscher
Addressing the Qualification Problem in FLUX

Thomas Ragg
Bayesian Learning and Evolutionary Parameter Optimization

Frank Schoenherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots

Stephan Schulz
Learning Search Control Knowledge for Equational Theorem Proving

Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis

Markus Stumptner, Dominik Wieland, Franz Wotawa
Comparing Two Models for Software Debugging

Michael Thielscher
Inferring implicit state knowledge and plans with sensing actions