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
|