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

@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
  
• Fatma Ozcan, V. S. Subrahmanian, Leana Golubchik:
  Optimal Agent Selection. 2-17
  

Selected Papers

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

Papers on Foundations

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

Papers on Applications

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

Industrial Papers

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