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
  14. Witold Łukaszewicz, Ewa Madalińska-Bugaj
    Pages 226-236
  15. Luis Fariñas del Cerro, Andreas Herzig
    Pages 237-247
  16. James P. Delgrande, Torsten H. Schaub
    Pages 272-283
  17. Zuoquan Lin, Wei Li
    Pages 296-307
  18. Nicholas Asher, Jérôme Lang
    Pages 308-318
  19. Gérard Becher, Uwe Petermann
    Pages 319-330
  20. Jörg Denzinger, Matthias Fuchs
    Pages 343-354
  21. Ian P. Gent, Toby Walsh
    Pages 355-366
  22. Xiaorong Huang, Manfred Kerber, Michael Kohlhase, Jörn Richts
    Pages 379-390
  23. Jan W. Amtrup
    Pages 391-391
  24. Marie -Odile Cordier, Pierre Siegel
    Pages 393-393
  25. Jürgen Eckerle
    Pages 394-394
  26. Bogdan Filipič, Iztok Žun, Matjaž Perpar
    Pages 395-395
  27. Jürgen Giesl, Ingrid Neumann
    Pages 396-396
  28. Stefan Rapp, Michael Jessen, Grzegorz Dogil
    Pages 398-398
  29. Eugenia Ternovskaia
    Pages 400-400
  30. Back Matter

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