PDK 1991: Kaiserslautern, Germany

Harold Boley, Michael M. Richter (Eds.): 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

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

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

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

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

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

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

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

Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov:
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). 383-398

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

Last update Wed May 22 16:19:04 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page