Table of contents

  1. Front Matter
  2. Sven-Erik Bornscheuer
    Pages 1-4
  3. Sven-Erik Bornscheuer, Torsten Seiler
    Pages 5-17
  4. Michael Contzen, Knut Möller
    Pages 25-28
  5. Jörg Denzinger, Martin Kronenburg
    Pages 43-56
  6. Bertram Fronhöfer
    Pages 67-70
  7. Matthias Fuchs, Andreas Abecker
    Pages 71-83
  8. Leonardo Garrido-Luna, Katia Sycara
    Pages 85-97
  9. Christopher Habel
    Pages 99-101
  10. Dieter Hutter
    Pages 121-133
  11. Janusz Jabłonowski, Witold Lukaszewicz, Ewa Madalińska-Bugaj
    Pages 135-147
  12. Gerd Kamp, Petra Pirk, Hans-Dieter Burkhard
    Pages 149-161
  13. M. A. Kłopotek, S. T. Wierzchoń, M. Michalewicz
    Pages 175-178

About these proceedings


This book constitutes the refereed proceedings of the 20th Annual German Conference on Artificial Intelligence, KI-96, held in Dresden, Germany, in September 1996.
The book presents three invited papers together with 23 revised full research papers, nine posters and four systems demonstrations. All contributions were carefully selected from a larger number of excellent submissions, of which a considerable part had been submitted from abroad. The papers address many subareas of AI; however, there is a certain focus on new develpments in theorem proving, knowledge representation, and reasoning.


Automatisches Theorembeweisen Extension KI-Logiken Natürlichsprachliche Verarbeitung agents ai-logics artificial intelligence automatic theorem proving autonomous agents knowledge-based systems learning logic programming neural network optimization proving

Bibliographic information

  • Book Title KI-96: Advances in Artificial Intelligence
  • Book Subtitle 20th Annual German Conference on Artificial Intelligence Dresden, Germany, September 17–19, 1996 Proceedings
  • Editors Günther Görz
    Steffen Hölldobler
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-61708-2
  • eBook ISBN 978-3-540-70669-4
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XIV, 394
  • 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