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

@proceedings{DBLP:conf/pdk/1991,
  editor    = {Harold Boley and
               Michael M. Richter},
  title     = {Processing Declarative Knowledge, International Workshop PDK'91,
               Kaiserslautern, Germany, July 1-3, 1991, Proceedings},
  booktitle = {PDK},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {567},
  year      = {1991},
  isbn      = {3-540-55033-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

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