Advertisement

KI 2001: Advances in Artificial Intelligence

Joint German/Austrian Conference on AI Vienna, Austria, September 19–21, 2001 Proceedings

  • Franz Baader
  • Gerhard Brewka
  • Thomas Eiter

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2174)

Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2174)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Contributions

    1. Michael Kearns
      Pages 1-1
    2. Fatma Özcan, V. S. Subrahmanian, Leana Golubchik
      Pages 2-17
  3. Selected Papers

  4. Papers on Foundations

    1. Liviu Badea, Doina Tilivea
      Pages 63-77
    2. Maren Bennewitz, Wolfram Burgard, Sebastian Thrun
      Pages 78-93
    3. Mathias Broxvall
      Pages 106-121
    4. Deborah East, Mirosłlaw Truszczyński
      Pages 138-153
    5. Stefan Edelkamp, Ulrich Meyer
      Pages 169-184
    6. Alexander Felfernig, Gerhard E. Friedrich, Markus Zanker, Dietmar Jannach, Markus Stumptner
      Pages 185-197
    7. Alexander Felfernig, Gerhard E. Friedrich, Dietmar Jannach, Markus Zanker
      Pages 198-212
    8. Henrik Grosskreutz, Gerhard Lakemeyer
      Pages 213-228
    9. Falk Hüffner, Stefan Edelkamp, Henning Fernau, Rolf Niedermeier
      Pages 229-243
    10. Zeynep Kiziltan, Pierre Flener, Brahim Hnich
      Pages 275-289
    11. Yves Martin, Michael Thielscher
      Pages 290-304
    12. Frank Schönherr, Mihaela Cistelecan, Joachim Hertzberg, Thomas Christaller
      Pages 305-319
    13. Gerd Stumme, Rafik Taouil, Yves Bastide, Nicolas Pasquier, Lotfi Lakhal
      Pages 335-350
    14. Markus Stumptner, Dominik Wieland, Franz Wotawa
      Pages 351-365
  5. Papers on Applications

    1. Tim Ritchings, George Anastassakis, Themis Panayiotopoulos
      Pages 381-395
    2. Sean Bechhofer, Ian Horrocks, Carole Goble, Robert Stevens
      Pages 396-408
    3. Christoph Benzmüller, Manfred Kerber, Mateja Jamnik, Volker Sorge
      Pages 409-424
    4. Thorsten Belker, Michael Beetz
      Pages 425-439
    5. Gerhard Fleischanderl, Thomas Havelka, Herwig Schreiner, Markus Stumptner, Franz Wotawa
      Pages 440-454
  6. Industrial Papers

  7. Back Matter
    Pages 471-471

About these proceedings

Introduction

This volume contains the contributions to the Joint German/Austrian Con- rence on Arti?cial Intelligence, KI 2001, which comprises the 24th German and the 9th Austrian Conference on Arti?cial Intelligence. They are divided into the following categories: – 2 contributions by invited speakers of the conference; – 29 accepted technical papers, of which 5 where submitted as application papers and 24 as papers on foundations of AI; – 4 contributions by participants of the industrial day, during which companies working in the ?eld presented their AI applications. After a long period of separate meetings, the German and Austrian Societies ¨ for Arti?cial Intelligence, KI and OGAI, decided to hold a joint conference in Vienna in 2001. The two societies had previously held one joint conference. This took place in Ottstein, a small town in Lower Austria, in 1986. At that time, the rise of expert system technology had also renewed interest in AI in general, with quite some expectations for future advances regarding the use of AI techniques in applications pervading many areas of our daily life. Since then ?fteen years have passed, and we may want to comment, at the beginning of a newcentury, on the progress that has been made in this direction.

Keywords

AI Logics Agent Technology Algorithmic Learning Artificial Intelligence Constraint Satisfaction Description Logics Kernel Knowledge Representation Navigation heuristics knowledge base multi-agent system ontology robot semantics

Editors and affiliations

  • Franz Baader
    • 1
  • Gerhard Brewka
    • 2
  • Thomas Eiter
    • 3
  1. 1.RWTH AachenTheoretical Computer ScienceAachenGermany
  2. 2.Intelligent Systems DepartmentUniversity of Leipzig, Computer Science InstituteLeipzigGermany
  3. 3.Institute of Information Systems Knowledge-Based Systems GroupVienna University of TechnologyWienAustria

Bibliographic information

  • DOI https://doi.org/10.1007/3-540-45422-5
  • Copyright Information Springer-Verlag Berlin Heidelberg 2001
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-42612-7
  • Online ISBN 978-3-540-45422-9
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site