PDK

Keyphrases

Publications

1991

Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). PDK (1991)
Mark Willems
Subsumption in Knowledge Graphs. PDK (1991)
Yves Caseau
Rule-Aided Constraint Resolution in LAURE. PDK (1991)
Micha Meier, Joachim Schimpf
SEPIA 3: 0 - An Extensible Prolog System. PDK (1991)
Andrei Mantsivoda, Vyacheslav Petukhin
Implementation of the Functional-Logic Language Flang. PDK (1991)
Cristina Ribeiro, António Porto
Reasoning with Maximal Time Intervals. PDK (1991)
Rolf Backofen, Lutz Euler, Günther Görz
Distributed Disjunctions for LIFE. PDK (1991)
Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick
Data-driven Transformation of Meta-interpreters: A Sketch. PDK (1991)
Carlo Zaniolo
Efficient Processing of Declarative Rule-Based Languages for Datebases. PDK (1991)
Chris Moss
Commercial Applications of Large Prolog Knowledge Bases. PDK (1991)
Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. PDK (1991)
Michael Hanus
The ALF System: An Efficient Implementation of a Functional Logic Language. PDK (1991)
Gerard Ellis
Compiling Conceptual Graphs. PDK (1991)
Evelina Lamma, Paola Mello
Processing Abductive Reasoning via Contextual Logic Programming. PDK (1991)
Andrei Mantsivoda
Flang: A Functional-Logic Language. PDK (1991)
Zdravko Markov
A Tool for Building Connectionist-like Networks Based on Term Unification. PDK (1991)
Pierre E. Bonzon
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. PDK (1991)
Manfred Meyer, Jörg P. Müller, Stefan Schrödl
FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming. PDK (1991)
Philipp Hanschke, Andreas Abecker, Dennis Drollinger
TAXON: A Concept Language with Concrete Domains. PDK (1991)
Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu
Parallelizing Prolog on Shared-Memory Multiprocessors. PDK (1991)
Nicola Guarino
A Concise Presentation of ITL. PDK (1991)
Valentinas Kriauciukas
Nonclassical Models for Logic Programs. PDK (1991)
Michel Dorochevsky, Jacques Noyé, Oliver Thibault
Has Dedicated Hardware for Prolog a Future? PDK (1991)
Alessandro Artale, Francesca Cesarini, Giovanni Soda
Subsumption Computation on an Object-Oriented Data Model. PDK (1991)
Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. PDK (1991)
Henry A. Kautz, Bart Selman
A General Framework for Knowledge Compilation. PDK (1991)
Maurizio Lenzerini, Andrea Schaerf
Querying Concept-based Knowledge Bases. PDK (1991)
Christoph Beierle, Gregor Meyer, Heiner Semle
A Brief Description of the PROTOS-L System. PDK (1991)
Jan Treur
Declarative Functionality Descriptions of Interactive Reasoning Modules. PDK (1991)
Wolf-Fritz Riekert
Providing Declarative Access to a Processing System for Satellite Image Data. PDK (1991)
Nicola Guarino
A Mini-Description of the ITL System. PDK (1991)
Michael Hanus
Efficient Implementation of Narrowing and Rewriting. PDK (1991)
Egon Börger, Elvinia Riccobene
Logical Operational Semantics of Parlog, Part I: And-Parallelism. PDK (1991)
Franz Baader, Bernhard Hollunder
A Terminological Knowledge Representation System with Complete Inference Algorithms. PDK (1991)
Knut Hinkelmann, Martin Harm, Thomas Labisch
Transforming Horn Clauses for Forward Reasoning. PDK (1991)
Martin Aronsson, Lars-Henrik Eriksson
The GCLA II Programming Language. PDK (1991)
Andy King, Paul Soper
Reducing Scheduling Overheads for Concurrent Logic Programs. PDK (1991)
Stefan Fricke, Manfred Hein
PCPL - PROLOG Constraint Processing Library Version 2.0. PDK (1991)
Herbert Jaeger
An Introduction to Dynamic Concept Systems. PDK (1991)

volume 567, 1991

Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings PDK 567 (1991)