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

  • Book Title Processing Declarative Knowledge
  • Book Subtitle International Workshop PDK '91 Kaiserslautern, Germany, July 1–3, 1991 Proceedings
  • Editors Harold Boley
    Michael M. Richter
  • Series Title Lecture Notes in Computer Science
  • Series Abbreviated Title Lect Notes Comput Sci
  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 1991
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Softcover ISBN 978-3-540-55033-4
  • eBook ISBN 978-3-540-46667-3
  • Series ISSN 0302-9743
  • Series E-ISSN 1611-3349
  • Edition Number 1
  • Number of Pages XII, 440
  • Number of Illustrations 0 b/w illustrations, 0 illustrations in colour
  • Topics Artificial Intelligence
    Database Management
    Programming Techniques
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods
Materials & Steel
Finance, Business & Banking
Energy, Utilities & Environment
Oil, Gas & Geosciences