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
  12. Steffen Staab, Udo Hahn
    Pages 267-278
  13. Hans Weber, Jörg Spilker, Günther Görz
    Pages 279-288
  14. Wolfram Burgard, Dieter Fox, Daniel Hennig
    Pages 289-300
  15. M. Haag, W. Theilmann, K. Schäfer, H. -H. Nagel
    Pages 301-312
  16. Steffen Hölldobler, Yvonne Kalinke, Helko Lehmann
    Pages 313-324
  17. Olaf Steinmann, Antje Strohmaier, Thomas Stützlel
    Pages 337-348
  18. Antje Strohmaier
    Pages 349-360
  19. Alberto Artosi, Paola Cattabriga, Guido Governatori
    Pages 373-376
  20. Lassaad Cheikhrouhou
    Pages 377-380
  21. Stefan Edelkamp
    Pages 381-384
  22. Bertram Fronhöfer
    Pages 385-388
  23. Dov Gabbay, Rolf Nossum, Michael Thielscher
    Pages 389-392
  24. Sven Hartrumpf, Marion Schulz
    Pages 393-396
  25. Jörg Nilson, Gabriella Kókai
    Pages 397-400
  26. N. Stojanović, Lj. Stoiljković, D. Milenović, V. Stoiljković
    Pages 401-404
  27. Leendert W.N. van der Torre, Yao-Hua Tang
    Pages 405-408
  28. Back Matter

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
  • Buy this book on publisher's site