Table of contents

  1. Front Matter
  2. Sven-Erik Bornscheuer, Michael Thielscher
    Pages 16-27
  3. Eva Stopp, Klaus-Peter Gapp, Gerd Herzog, Thomas Laengle, Tim C. Lueth
    Pages 39-50
  4. Franz Baader, Martin Buchheit, Bernhard Hollunder
    Pages 51-62
  5. Marc Pomplun, Boris Velichkovsky, Helge Ritter
    Pages 63-69
  6. Vladimir Kuznetsov
    Pages 70-81
  7. Ingo Glöckner, Andrea Grieszl, Martin Müller, Marc Ronthaler
    Pages 94-105
  8. A. Jameson, B. Kipper, A. Ndiaye, R. Schäfer, J. Simons, T. Weis et al.
    Pages 106-117
  9. Bernhard Pfahringer
    Pages 118-129
  10. Volker Haarslev, Ralf Möller, Carsten Schröder
    Pages 142-153
  11. Andreas Becker, Gerhard Lakemeyer
    Pages 190-201
  12. B. van Linder, W. van der Hoek, J. -J. Ch. Meyer
    Pages 202-213
  13. Josef Meyer-Fujara, Barbara Heller, Sonja Schlegelmilch, Ipke Wachsmuth
    Pages 214-225

About these proceedings


This volume presents the proceedings of the 18th German Annual Conference on Artificial Intelligence (KI-94), held in Saarbrücken in September 1994.
Besides the invited paper "AI approaches towards sensor-based support in road vehicles" by H.-H. Nagel, the book contains 33 full research papers and 12 poster presentations selected from a total of 98 contributions, half of them originating from outside Germany. The papers cover all relevant aspects of AI with a certain focus on knowledge representation and logical foundations of AI; further topics covered are neural network applications, logic programming, natural language, machine learning, and reasoning.


Extension Formal Logic Formale Logik Knowledge Representation Natural Language Processing Natürliche Sprachverarbeitung Neural Networks Neuronale Netzwerke Nicht-monotones Schließen agents autonomous agents description logic knowledge base logic programming neural network

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1994
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-58467-4
  • Online ISBN 978-3-540-48979-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book