Processing Declarative Knowledge

1. Front Matter

   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

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

Policies and ethics