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 BibTeX

@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 BibTeX
Michel Dorochevsky, Jacques Noyé, Oliver Thibault: Has Dedicated Hardware for Prolog a Future? 17-31 BibTeX
Chris Moss: Commercial Applications of Large Prolog Knowledge Bases. 32-40 BibTeX

Concept Languages I

Gerard Ellis: Compiling Conceptual Graphs. 41-55 BibTeX
Mark Willems: Subsumption in Knowledge Graphs. 56-66 BibTeX

Concept Languages II

Franz Baader, Bernhard Hollunder: A Terminological Knowledge Representation System with Complete Inference Algorithms. 67-86 BibTeX
Herbert Jaeger: An Introduction to Dynamic Concept Systems. 87-106 BibTeX
Maurizio Lenzerini, Andrea Schaerf: Querying Concept-based Knowledge Bases. 107-123 BibTeX

Concept Languages III

Alessandro Artale, Francesca Cesarini, Giovanni Soda: Subsumption Computation on an Object-Oriented Data Model. 124-140 BibTeX
Nicola Guarino: A Concise Presentation of ITL. 141-160 BibTeX
Rolf Backofen, Lutz Euler, Günther Görz: Distributed Disjunctions for LIFE. 161-170 BibTeX

Semantics

Cristina Ribeiro, António Porto: Reasoning with Maximal Time Intervals. 171-178 BibTeX
Valentinas Kriauciukas: Nonclassical Models for Logic Programs. 179-190 BibTeX
Egon Börger, Elvinia Riccobene: Logical Operational Semantics of Parlog, Part I: And-Parallelism. 191-198 BibTeX

Applications

Zdravko Markov: A Tool for Building Connectionist-like Networks Based on Term Unification. 199-213 BibTeX
Wolf-Fritz Riekert: Providing Declarative Access to a Processing System for Satellite Image Data. 214-220 BibTeX
Jan Treur: Declarative Functionality Descriptions of Interactive Reasoning Modules. 221-236 BibTeX

PROLOG Extensions

Yves Caseau: Rule-Aided Constraint Resolution in LAURE. 237-256 BibTeX
Andrei Mantsivoda: Flang: A Functional-Logic Language. 257-270 BibTeX
Pierre E. Bonzon: Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. 271-278 BibTeX
Andy King, Paul Soper: Reducing Scheduling Overheads for Concurrent Logic Programs. 279-286 BibTeX

Transformation

Henry A. Kautz, Bart Selman: A General Framework for Knowledge Compilation. 287-300 BibTeX
Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick: Data-driven Transformation of Meta-interpreters: A Sketch. 301-308 BibTeX
Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens: Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. 309-317 BibTeX

Abstract Machines

Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu: Parallelizing Prolog on Shared-Memory Multiprocessors. 318-335 BibTeX
Evelina Lamma, Paola Mello: Processing Abductive Reasoning via Contextual Logic Programming. 336-343 BibTeX
Michael Hanus: Efficient Implementation of Narrowing and Rewriting. 344-365 BibTeX
Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques: TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. 366-382 BibTeX

Panel

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

Short Descriptions of System Demonstrations

Martin Aronsson, Lars-Henrik Eriksson: The GCLA II Programming Language. 399-401 BibTeX
Christoph Beierle, Gregor Meyer, Heiner Semle: A Brief Description of the PROTOS-L System. 402-404 BibTeX
Stefan Fricke, Manfred Hein: PCPL - PROLOG Constraint Processing Library Version 2.0. 405-407 BibTeX
Nicola Guarino: A Mini-Description of the ITL System. 408-410 BibTeX
Philipp Hanschke, Andreas Abecker, Dennis Drollinger: TAXON: A Concept Language with Concrete Domains. 411-413 BibTeX
Michael Hanus: The ALF System: An Efficient Implementation of a Functional Logic Language. 414-416 BibTeX
Knut Hinkelmann, Martin Harm, Thomas Labisch: Transforming Horn Clauses for Forward Reasoning. 417-419 BibTeX
Andrei Mantsivoda, Vyacheslav Petukhin: Implementation of the Functional-Logic Language Flang. 420-421 BibTeX
Micha Meier, Joachim Schimpf: SEPIA 3: 0 - An Extensible Prolog System. 422-424 BibTeX
Manfred Meyer, Jörg P. Müller, Stefan Schrödl: FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming. 425-427 BibTeX