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
  14. Gerhard K. Kraetzschmar, Josef Schneeberger
    Pages 179-182
  15. Gerhard Lakemeyer, Wilfried Lang
    Pages 199-211
  16. Mario Lenz, Hans-Dieter Burkhard
    Pages 227-239
  17. Thomas Linke, Torsten Schaub
    Pages 241-252
  18. Andreas Margelisch, Bernd Novotny, Ulrich Reimer
    Pages 253-257
  19. Erica Melis
    Pages 259-271
  20. H. Niemann, V. Fischer, D. Paulus, J. Fischer
    Pages 287-301
  21. Jens Otten, Christoph Kreitz
    Pages 307-319
  22. Daniel Pacholczyk, Gilles Hunault
    Pages 321-325
  23. Stuart Russell
    Pages 331-331
  24. Henning Scheich
    Pages 347-347
  25. Werner Winiwarter, Osami Kagawa, Yahiko Kambayashi
    Pages 363-375
  26. Jörg Würtz, Tobias Müller
    Pages 377-386
  27. Back Matter

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1996
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-61708-2
  • Online ISBN 978-3-540-70669-4
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site
Industry Sectors
Materials & Steel
Chemical Manufacturing
Finance, Business & Banking
IT & Software
Consumer Packaged Goods
Energy, Utilities & Environment
Oil, Gas & Geosciences