C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
KI/ÖGAI
2001
2001
2001
Keyphrases
Publications
2001
George Anastassakis
,
Tim Ritchings
,
Themis Panayiotopoulos
Multi-agent Systems as Intelligent Virtual Environments.
KI/ÖGAI
(2001)
Jana Koehler
From Theory to Practice: AI Planning for High Performance Elevator Control.
KI/ÖGAI
(2001)
Gerd Stumme
,
Rafik Taouil
,
Yves Bastide
,
Nicolas Pasquier
,
Lotfi Lakhal
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis.
KI/ÖGAI
(2001)
Gerhard Fleischanderl
Constraints Applied to Configurations.
KI/ÖGAI
(2001)
Michael Thielscher
Inferring Implicit State Knowledge and Plans with Sensing Actions.
KI/ÖGAI
(2001)
Liviu Badea
,
Doina Tilivea
Abductive Partial Order Planning with Dependent Fluents.
KI/ÖGAI
(2001)
Mathias Broxvall
The Point Algebra for Branching Time Revisited.
KI/ÖGAI
(2001)
Wojciech Jamroga
A Defense Model for Games with Incomplete Information.
KI/ÖGAI
(2001)
Stefan Edelkamp
Prediction of Regular Search Tree Growth by Spectral Analysis.
KI/ÖGAI
(2001)
Alexander Felfernig
,
Gerhard Friedrich
,
Dietmar Jannach
,
Markus Zanker
Towards Distributed Configuration.
KI/ÖGAI
(2001)
Gerhard Fleischanderl
,
Thomas Havelka
,
Herwig Schreiner
,
Markus Stumptner
,
Franz Wotawa
DiKe - A Model-Based Diagnosis Kernel and Its Application.
KI/ÖGAI
(2001)
Michael J. Kearns
Computational Game Theory and AI.
KI/ÖGAI
(2001)
Markus Stumptner
,
Dominik Wieland
,
Franz Wotawa
Comparing Two Models for Software Debugging.
KI/ÖGAI
(2001)
Maren Bennewitz
,
Wolfram Burgard
,
Sebastian Thrun
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques.
KI/ÖGAI
(2001)
Christoph Benzmüller
,
Mateja Jamnik
,
Manfred Kerber
,
Volker Sorge
Experiments with an Agent-Oriented Reasoning System.
KI/ÖGAI
(2001)
Kurt Sundermeyer
Collaborative Supply Net Management.
KI/ÖGAI
(2001)
Alexander Bochman
Possible Worlds Semantics for Credulous and Contraction Inference.
KI/ÖGAI
(2001)
Sean Bechhofer
,
Ian Horrocks
,
Carole A. Goble
,
Robert Stevens
OilEd: A Reason-able Ontology Editor for the Semantic Web.
KI/ÖGAI
(2001)
Falk Hüffner
,
Stefan Edelkamp
,
Henning Fernau
,
Rolf Niedermeier
Finding Optimal Solutions to Atomix.
KI/ÖGAI
(2001)
Yves Martin
,
Michael Thielscher
Addressing the Qualification Problem in FLUX.
KI/ÖGAI
(2001)
Thorsten Belker
,
Michael Beetz
Learning to Execute Navigation Plans.
KI/ÖGAI
(2001)
Zeynep Kiziltan
,
Pierre Flener
,
Brahim Hnich
Towards Inferring Labelling Heuristics for CSP Application Domains.
KI/ÖGAI
(2001)
Stefan Edelkamp
,
Ulrich Meyer
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search.
KI/ÖGAI
(2001)
Ralf Küsters
,
Ralf Molitor
Approximating Most Specific Concepts in Description Logics with Existential Restrictions.
KI/ÖGAI
(2001)
Stephan Schulz
Learning Search Control Knowledge for Equational Theorem Proving.
KI/ÖGAI
(2001)
Fatma Ozcan
,
V. S. Subrahmanian
,
Leana Golubchik
Optimal Agent Selection.
KI/ÖGAI
(2001)
Kai Lebeth
Semantic Networks in a Knowledge Management Portal.
KI/ÖGAI
(2001)
Stefan Brüning
Exploiting Conditional Equivalences in Connection Calculi.
KI/ÖGAI
(2001)
Frank Schönherr
,
Mihaela Cistelecan
,
Joachim Hertzberg
,
Thomas Christaller
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots.
KI/ÖGAI
(2001)
Gero Iwan
History-Based Diagnosis Templates in the Framework of the Situation Calculus.
KI/ÖGAI
(2001)
Thomas Ragg
Bayesian Learning and Evolutionary Parameter Optimization.
KI/ÖGAI
(2001)
Anatoli Degtyarev
,
Michael Fisher
Towards First-Order Temporal Resolution.
KI/ÖGAI
(2001)
Deborah East
,
Miroslaw Truszczynski
Propositional Satisfiability in Answer-Set Programming.
KI/ÖGAI
(2001)
Henrik Grosskreutz
,
Gerhard Lakemeyer
Belief Update in the pGOLOG Framework.
KI/ÖGAI
(2001)
Alexander Felfernig
,
Gerhard Friedrich
,
Dietmar Jannach
,
Markus Stumptner
,
Markus Zanker
Hierarchical Diagnosis of Large Configurator Knowledge Bases.
KI/ÖGAI
(2001)
volume 2174, 2001
KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings
KI/ÖGAI
2174 (2001)