Skip to main content
SpringerLink
Log in

Processing Declarative Knowledge

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

  • Conference proceedings
  • © 1991

Overview

Editors:
  1. Harold Boley
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Michael M. Richter
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)

Included in the following conference series:

Conference proceedings info: PDK 1991.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (39 papers)

  1. Front Matter

    Download chapter PDF

  2. Efficient processing of declarative rule-based languages for Databases

    • Carlo Zaniolo
    Pages 1-16

  3. Has dedicated hardware for Prolog a future ?

    • Michel Dorochevsky, Jacques Noyé, Olivier Thibault
    Pages 17-31

  4. Commercial applications of large Prolog knowledge bases

    • Chris Moss
    Pages 32-40

  5. Compiling conceptual graphs

    • Gerard Ellis
    Pages 41-55

  6. Subsumption in knowledge graphs

    • Mark Willems
    Pages 56-66

  7. A terminological knowledge representation system with complete inference algorithms

    • Franz Baader, Bernhard Hollunder
    Pages 67-86

  8. An introduction to dynamic concept systems

    • Herbert Jaeger
    Pages 87-106

  9. Querying concept-based knowledge bases

    • Maurizio Lenzerini, Andrea Schaerf
    Pages 107-123

  10. Subsumption computation in an object-oriented data model

    • A. Artale, F. Cesarini, G. Soda
    Pages 124-140

  11. A concise presentation of ITL

    • Nicola Guarino
    Pages 141-160

  12. Distributed disjunctions for LIFE

    • Rolf Backofen, Lutz Euler, Günther Görz
    Pages 161-170

  13. Reasoning with maximal time intervals

    • Cristina Ribeiro, António Porto
    Pages 171-178

  14. Nonclassical models for logic programs

    • Valentinas Kriaučiukas
    Pages 179-190

  15. Logical operational semantics of Parlog part I: And-Parallelism

    • Egon Börger, Elvinia Riccobene
    Pages 191-198

  16. A tool for building connectionist-like networks based on term unification

    • Zdravko Markov
    Pages 199-213

  17. Providing declarative access to a processing system for satellite image data

    • Wolf-Fritz Riekert
    Pages 214-220

  18. Declarative functionality descriptions of interactive reasoning modules

    • Jan Treur
    Pages 221-236

  19. Rule-aided constraint resolution in Laure

    • Yves Caseau
    Pages 237-256

  20. Flang: A functional-logic language

    • Andrei V. Mantsivoda
    Pages 257-270
Back to top

Other volumes

  1. Processing Declarative Knowledge

Keywords

About this book

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.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation