Table of contents

  1. Front Matter
  2. Michel Dorochevsky, Jacques Noyé, Olivier Thibault
    Pages 17-31
  3. Gerard Ellis
    Pages 41-55
  4. Mark Willems
    Pages 56-66
  5. Herbert Jaeger
    Pages 87-106
  6. Maurizio Lenzerini, Andrea Schaerf
    Pages 107-123
  7. A. Artale, F. Cesarini, G. Soda
    Pages 124-140
  8. Nicola Guarino
    Pages 141-160
  9. Rolf Backofen, Lutz Euler, Günther Görz
    Pages 161-170
  10. Cristina Ribeiro, António Porto
    Pages 171-178
  11. Valentinas Kriaučiukas
    Pages 179-190
  12. Egon Börger, Elvinia Riccobene
    Pages 191-198
  13. Yves Caseau
    Pages 237-256
  14. Andrei V. Mantsivoda
    Pages 257-270
  15. Henry Kautz, Bart Selman
    Pages 287-300
  16. Yannis Cosmadopoulos, Marek Sergot, Richard W. Southwick
    Pages 301-308
  17. Gao Yaoqing, Wang Dingxing, Qiu Xiaolin, Hwang Zhiyi, Hu Shouren
    Pages 318-335
  18. Evelina Lamma, Paola Mello
    Pages 336-343
  19. Philippe Balbiani, Andreas Herzig, Mamede Lima Marques
    Pages 366-382
  20. Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, A. A. Voronkov
    Pages 383-398
  21. Martin Aronsson, Lars-Henrik Eriksson
    Pages 399-401
  22. Christoph Beierle, Gregor Meyer, Heiner Semle
    Pages 402-404
  23. Stefan Fricke, Manfred Hein
    Pages 405-407
  24. Nicola Guarino
    Pages 408-410
  25. Philipp Hanschke, Andreas Abecker, Dennis Drollinger
    Pages 411-413
  26. Knut Hinkelmann, Martin Harm, Thomas Labisch
    Pages 417-419
  27. A. Mantsivoda, V. Petukhin
    Pages 420-421
  28. Micha Meier, Joachim Schimpf
    Pages 422-424
  29. Manfred Meyer, Jörg Müller, Stefan Schrödl
    Pages 425-427
  30. Back Matter

About these proceedings


This volume presents the proceedings of an international workshop on the processing of declarative knowledge. The workshop was organized and hosted by the German Research Center for Artificial Intelligence (DFKI) in cooperation with the Association for Logic Programming (ALP) and the Gesellschaft f}r Informatik (GI). Knowledge is often represented using definite clauses, rules, constraints, functions, conceptual graphs, and related formalisms. The workshop addressed such high-level representations and their efficient implementation required for declarative knowledge bases. Many of the papers treat representation methods, mainly concept languages, and many treat implementation methods, such as transformation techniques and WAM-like abstract machines. Several papers describe implemented knowledge-processing systems. The competition between procedural and declarative paradigms was discussed in a panel session, and position statements of the panelists are included in the volume.


Concept Languages Declarative Knowledge Deklaratives Wissen Knowledge Representation Logic Programming Transformation Techniques Transformationstechniken Wissens-Darstellung artificial intelligence knowledge knowledge base logic programming

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-55033-4
  • Online ISBN 978-3-540-46667-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site