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