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

  • Book Title KI-97: Advances in Artificial Intelligence
  • Book Subtitle 21st Annual German Conference on Artificial Intelligence Freiburg, Germany, September 9–12, 1997 Proceedings
  • Editors Gerhard Brewka
    Christopher Habel
    Bernhard Nebel
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1997
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-63493-5
  • eBook ISBN 978-3-540-69582-0
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XI, 418
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences