![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
PDK 1991: Kaiserslautern, Germany
- Harold Boley, Michael M. Richter:
Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings. Lecture Notes in Computer Science 567, Springer 1991, ISBN 3-540-55033-X
Invited and Special Talks
- Carlo Zaniolo:
Efficient Processing of Declarative Rule-Based Languages for Datebases. 1-16 - Michel Dorochevsky, Jacques Noyé, Oliver Thibault:
Has Dedicated Hardware for Prolog a Future? 17-31 - Chris Moss:
Commercial Applications of Large Prolog Knowledge Bases. 32-40
Concept Languages I
- Gerard Ellis:
Compiling Conceptual Graphs. 41-55 - Mark Willems:
Subsumption in Knowledge Graphs. 56-66
Concept Languages II
- Franz Baader, Bernhard Hollunder:
A Terminological Knowledge Representation System with Complete Inference Algorithms. 67-86 - Herbert Jaeger:
An Introduction to Dynamic Concept Systems. 87-106 - Maurizio Lenzerini
, Andrea Schaerf
:
Querying Concept-based Knowledge Bases. 107-123
Concept Languages III
- Alessandro Artale, Francesca Cesarini, Giovanni Soda:
Subsumption Computation on an Object-Oriented Data Model. 124-140 - Nicola Guarino
:
A Concise Presentation of ITL. 141-160 - Rolf Backofen, Lutz Euler, Günther Görz:
Distributed Disjunctions for LIFE. 161-170
Semantics
- Cristina Ribeiro
, António Porto:
Reasoning with Maximal Time Intervals. 171-178 - Valentinas Kriauciukas:
Nonclassical Models for Logic Programs. 179-190 - Egon Börger, Elvinia Riccobene:
Logical Operational Semantics of Parlog, Part I: And-Parallelism. 191-198
Applications
- Zdravko Markov:
A Tool for Building Connectionist-like Networks Based on Term Unification. 199-213 - Wolf-Fritz Riekert:
Providing Declarative Access to a Processing System for Satellite Image Data. 214-220 - Jan Treur
:
Declarative Functionality Descriptions of Interactive Reasoning Modules. 221-236
PROLOG Extensions
- Yves Caseau:
Rule-Aided Constraint Resolution in LAURE. 237-256 - Andrei Mantsivoda:
Flang: A Functional-Logic Language. 257-270 - Pierre E. Bonzon:
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. 271-278 - Andy King, Paul Soper:
Reducing Scheduling Overheads for Concurrent Logic Programs. 279-286
Transformation
- Henry A. Kautz
, Bart Selman:
A General Framework for Knowledge Compilation. 287-300 - Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick:
Data-driven Transformation of Meta-interpreters: A Sketch. 301-308 - Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens:
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. 309-317
Abstract Machines
- Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu:
Parallelizing Prolog on Shared-Memory Multiprocessors. 318-335 - Evelina Lamma, Paola Mello:
Processing Abductive Reasoning via Contextual Logic Programming. 336-343 - Michael Hanus
:
Efficient Implementation of Narrowing and Rewriting. 344-365 - Philippe Balbiani
, Andreas Herzig, Mamede Lima-Marques:
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. 366-382
Panel
- Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov:
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). 383-398
Short Descriptions of System Demonstrations
- Martin Aronsson, Lars-Henrik Eriksson:
The GCLA II Programming Language. 399-401 - Christoph Beierle, Gregor Meyer, Heiner Semle:
A Brief Description of the PROTOS-L System. 402-404 - Stefan Fricke, Manfred Hein:
PCPL - PROLOG Constraint Processing Library Version 2.0. 405-407 - Nicola Guarino
:
A Mini-Description of the ITL System. 408-410 - Philipp Hanschke, Andreas Abecker
, Dennis Drollinger:
TAXON: A Concept Language with Concrete Domains. 411-413 - Michael Hanus
:
The ALF System: An Efficient Implementation of a Functional Logic Language. 414-416 - Knut Hinkelmann
, Martin Harm, Thomas Labisch:
Transforming Horn Clauses for Forward Reasoning. 417-419 - Andrei Mantsivoda, Vyacheslav Petukhin:
Implementation of the Functional-Logic Language Flang. 420-421 - Micha Meier, Joachim Schimpf:
SEPIA 3: 0 - An Extensible Prolog System. 422-424 - Manfred Meyer, Jörg P. Müller, Stefan Schrödl:
FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming. 425-427
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.