Table of contents

  1. Front Matter
  2. Stefan Gerberding, Brigitte Pientka
    Pages 63-74
  3. Thomas Kolbe, Sabine Glesner
    Pages 75-86
  4. Michael Kühn
    Pages 87-98
  5. Erica Melisi, Jon Whittle
    Pages 111-122
  6. Manfred Kerber, Michael Kohlhase
    Pages 123-134
  7. Peter Grünwald
    Pages 159-170
  8. David Basin, Seán Matthews, Luca Viganò
    Pages 171-182
  9. Barbara Messing
    Pages 183-194
  10. Bettina Berendt
    Pages 195-206
  11. Susanne Schacht, Udo Hahn
    Pages 243-254

About these proceedings


This book constitutes the refereed proceedings of the 21st Annual German Conference on Artificial Intelligence, KI-97, held in Freiburg, Germany, in September 1997.
The volume presents revised versions of 26 full papers and 10 posters selected from around 70 submissions from more than 15 countries. Also included are three excellent invited contributions by Anthony G. Cohn, Kurt Konolige, and Pat Langley. The papers are organized in topical sections on theorem proving, nonclassical logics, knowledge representation, spatial reasoning, computational linguistics, computer perception and neural nets, and on planning, diagnosis and search.


AI logics agents computational linguistics knowledge knowledge processing knowledge representation learning linguistics logic programming machine learning modeling neural computing perception proving robot

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-63493-5
  • Online ISBN 978-3-540-69582-0
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book