Processing Declarative Knowledge

International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings

  • Editors
  • Harold Boley
  • Michael M. Richter
Conference proceedings

Part of the Lecture Notes in Computer Science book series (LNCS, volume 567)

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

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