Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Harold Boley, Micha Meier, Chris Moss, Michael M. Richter, Andrei Voronkov |
Declarative and Procedural Paradigms - Do they Really Compete? (Panel). ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 383-398, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Mark Willems |
Subsumption in Knowledge Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 56-66, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Harold Boley, Michael M. Richter (eds.) |
Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![Springer, 3-540-55033-X The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Yves Caseau |
Rule-Aided Constraint Resolution in LAURE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 237-256, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Micha Meier, Joachim Schimpf |
SEPIA 3: 0 - An Extensible Prolog System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 422-424, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mantsivoda, Vyacheslav Petukhin |
Implementation of the Functional-Logic Language Flang. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 420-421, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Cristina Ribeiro 0001, António Porto |
Reasoning with Maximal Time Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 171-178, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Rolf Backofen, Lutz Euler, Günther Görz |
Distributed Disjunctions for LIFE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 161-170, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick |
Data-driven Transformation of Meta-interpreters: A Sketch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 301-308, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Zaniolo |
Efficient Processing of Declarative Rule-Based Languages for Datebases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 1-16, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Chris Moss |
Commercial Applications of Large Prolog Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 32-40, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens |
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 309-317, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
The ALF System: An Efficient Implementation of a Functional Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 414-416, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Gerard Ellis |
Compiling Conceptual Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 41-55, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello |
Processing Abductive Reasoning via Contextual Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 336-343, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andrei Mantsivoda |
Flang: A Functional-Logic Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 257-270, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Zdravko Markov |
A Tool for Building Connectionist-like Networks Based on Term Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 199-213, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Pierre E. Bonzon |
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 271-278, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Meyer, Jörg P. Müller, Stefan Schrödl |
FIDO: Exploring Finite Domain Consistency Techniques in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 425-427, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Hanschke, Andreas Abecker, Dennis Drollinger |
TAXON: A Concept Language with Concrete Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 411-413, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu |
Parallelizing Prolog on Shared-Memory Multiprocessors. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 318-335, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Guarino |
A Concise Presentation of ITL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 141-160, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Valentinas Kriauciukas |
Nonclassical Models for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 179-190, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michel Dorochevsky, Jacques Noyé, Oliver Thibault |
Has Dedicated Hardware for Prolog a Future? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 17-31, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Alessandro Artale, Francesca Cesarini, Giovanni Soda |
Subsumption Computation on an Object-Oriented Data Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 124-140, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques |
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 366-382, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Henry A. Kautz, Bart Selman |
A General Framework for Knowledge Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 287-300, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Maurizio Lenzerini, Andrea Schaerf |
Querying Concept-based Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 107-123, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Christoph Beierle, Gregor Meyer, Heiner Semle |
A Brief Description of the PROTOS-L System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 402-404, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Jan Treur |
Declarative Functionality Descriptions of Interactive Reasoning Modules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 221-236, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Wolf-Fritz Riekert |
Providing Declarative Access to a Processing System for Satellite Image Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 214-220, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Guarino |
A Mini-Description of the ITL System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 408-410, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Michael Hanus |
Efficient Implementation of Narrowing and Rewriting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 344-365, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 191-198, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Franz Baader, Bernhard Hollunder |
A Terminological Knowledge Representation System with Complete Inference Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 67-86, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Knut Hinkelmann, Martin Harm, Thomas Labisch |
Transforming Horn Clauses for Forward Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 417-419, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Martin Aronsson, Lars-Henrik Eriksson |
The GCLA II Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 399-401, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Andy King, Paul Soper |
Reducing Scheduling Overheads for Concurrent Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 279-286, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Stefan Fricke, Manfred Hein |
PCPL - PROLOG Constraint Processing Library Version 2.0. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 405-407, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Herbert Jaeger |
An Introduction to Dynamic Concept Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PDK ![In: Processing Declarative Knowledge, International Workshop PDK'91, Kaiserslautern, Germany, July 1-3, 1991, Proceedings, pp. 87-106, 1991, Springer, 3-540-55033-X. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|