24. KI / 9. ÖGAI 2001: Wien, Austria

Franz Baader, Gerhard Brewka, Thomas Eiter (Eds.): KI 2001: Advances in Artificial Intelligence, Joint German/Austrian Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings. Lecture Notes in Computer Science 2174 Springer 2001, ISBN 3-540-42612-4 BibTeX

@proceedings{DBLP:conf/ki/2001,
  editor    = {Franz Baader and
               Gerhard Brewka and
               Thomas Eiter},
  title     = {KI 2001: Advances in Artificial Intelligence, Joint German/Austrian
               Conference on AI, Vienna, Austria, September 19-21, 2001, Proceedings},
  booktitle = {KI/{\"O}GAI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2174},
  year      = {2001},
  isbn      = {3-540-42612-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Contributions

Michael J. Kearns:
Computational Game Theory and AI. 1
Electronic Edition (Springer LINK) BibTeX
Fatma Ozcan, V. S. Subrahmanian, Leana Golubchik:
Optimal Agent Selection. 2-17
Electronic Edition (Springer LINK) BibTeX

Selected Papers

Anatoli Degtyarev, Michael Fisher:
Towards First-Order Temporal Resolution. 18-32
Electronic Edition (Springer LINK) BibTeX
Ralf Küsters, Ralf Molitor:
Approximating Most Specific Concepts in Description Logics with Existential Restrictions. 33-47
Electronic Edition (Springer LINK) BibTeX
Thomas Ragg:
Bayesian Learning and Evolutionary Parameter Optimization. 48-62
Electronic Edition (Springer LINK) BibTeX

Papers on Foundations

Liviu Badea, Doina Tilivea:
Abductive Partial Order Planning with Dependent Fluents. 63-77
Electronic Edition (Springer LINK) BibTeX
Maren Bennewitz, Wolfram Burgard, Sebastian Thrun:
Constraint-Based Optimization of Priority Schemes for Decoupled Path Planning Techniques. 78-93
Electronic Edition (Springer LINK) BibTeX
Alexander Bochman:
Possible Worlds Semantics for Credulous and Contraction Inference. 94-105
Electronic Edition (Springer LINK) BibTeX
Mathias Broxvall:
The Point Algebra for Branching Time Revisited. 106-121
Electronic Edition (Springer LINK) BibTeX
Stefan Brüning:
Exploiting Conditional Equivalences in Connection Calculi. 122-137
Electronic Edition (Springer LINK) BibTeX
Deborah East, Miroslaw Truszczynski:
Propositional Satisfiability in Answer-Set Programming. 138-153
Electronic Edition (Springer LINK) BibTeX
Stefan Edelkamp:
Prediction of Regular Search Tree Growth by Spectral Analysis. 154-168
Electronic Edition (Springer LINK) BibTeX
Stefan Edelkamp, Ulrich Meyer:
Theory and Practice of Time-Space Trade-Offs in Memory Limited Search. 169-184
Electronic Edition (Springer LINK) BibTeX
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Stumptner, Markus Zanker:
Hierarchical Diagnosis of Large Configurator Knowledge Bases. 185-197
Electronic Edition (Springer LINK) BibTeX
Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach, Markus Zanker:
Towards Distributed Configuration. 198-212
Electronic Edition (Springer LINK) BibTeX
Henrik Grosskreutz, Gerhard Lakemeyer:
Belief Update in the pGOLOG Framework. 213-228
Electronic Edition (Springer LINK) BibTeX
Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier:
Finding Optimal Solutions to Atomix. 229-243
Electronic Edition (Springer LINK) BibTeX
Gero Iwan:
History-Based Diagnosis Templates in the Framework of the Situation Calculus. 244-259
Electronic Edition (Springer LINK) BibTeX
Wojciech Jamroga:
A Defense Model for Games with Incomplete Information. 260-274
Electronic Edition (Springer LINK) BibTeX
Zeynep Kiziltan, Pierre Flener, Brahim Hnich:
Towards Inferring Labelling Heuristics for CSP Application Domains. 275-289
Electronic Edition (Springer LINK) BibTeX
Yves Martin, Michael Thielscher:
Addressing the Qualification Problem in FLUX. 290-304
Electronic Edition (Springer LINK) BibTeX
Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller:
Extracting Situation Facts from Activation Value Histories in Behavior-Based Robots. 305-319
Electronic Edition (Springer LINK) BibTeX
Stephan Schulz:
Learning Search Control Knowledge for Equational Theorem Proving. 320-334
Electronic Edition (Springer LINK) BibTeX
Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal:
Intelligent Structuring and Reducing of Association Rules with Formal Concept Analysis. 335-350
Electronic Edition (Springer LINK) BibTeX
Markus Stumptner, Dominik Wieland, Franz Wotawa:
Comparing Two Models for Software Debugging. 351-365
Electronic Edition (Springer LINK) BibTeX
Michael Thielscher:
Inferring Implicit State Knowledge and Plans with Sensing Actions. 366-380
Electronic Edition (Springer LINK) BibTeX

Papers on Applications

George Anastassakis, Tim Ritchings, Themis Panayiotopoulos:
Multi-agent Systems as Intelligent Virtual Environments. 381-395
Electronic Edition (Springer LINK) BibTeX
Sean Bechhofer, Ian Horrocks, Carole A. Goble, Robert Stevens:
OilEd: A Reason-able Ontology Editor for the Semantic Web. 396-408
Electronic Edition (Springer LINK) BibTeX
Christoph Benzmüller, Mateja Jamnik, Manfred Kerber, Volker Sorge:
Experiments with an Agent-Oriented Reasoning System. 409-424
Electronic Edition (Springer LINK) BibTeX
Thorsten Belker, Michael Beetz:
Learning to Execute Navigation Plans. 425-439
Electronic Edition (Springer LINK) BibTeX
Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa:
DiKe - A Model-Based Diagnosis Kernel and Its Application. 440-454
Electronic Edition (Springer LINK) BibTeX

Industrial Papers

Gerhard Fleischanderl:
Constraints Applied to Configurations. 455-458
Electronic Edition (Springer LINK) BibTeX
Jana Koehler:
From Theory to Practice: AI Planning for High Performance Elevator Control. 459-462
Electronic Edition (Springer LINK) BibTeX
Kai Lebeth:
Semantic Networks in a Knowledge Management Portal. 463-466
Electronic Edition (Springer LINK) BibTeX
Kurt Sundermeyer:
Collaborative Supply Net Management. 467-470
Electronic Edition (Springer LINK) BibTeX