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

  • 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
  • About this book