| 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).  |
PDK  |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Willems |
Subsumption in Knowledge Graphs. |
PDK |
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 |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yves Caseau |
Rule-Aided Constraint Resolution in LAURE. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Micha Meier, Joachim Schimpf |
SEPIA 3: 0 - An Extensible Prolog System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Mantsivoda, Vyacheslav Petukhin |
Implementation of the Functional-Logic Language Flang. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Cristina Ribeiro 0001, António Porto |
Reasoning with Maximal Time Intervals. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Rolf Backofen, Lutz Euler, Günther Görz |
Distributed Disjunctions for LIFE. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick |
Data-driven Transformation of Meta-interpreters: A Sketch. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo Zaniolo |
Efficient Processing of Declarative Rule-Based Languages for Datebases. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Chris Moss |
Commercial Applications of Large Prolog Knowledge Bases. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens |
Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized Versions. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
The ALF System: An Efficient Implementation of a Functional Logic Language. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Gerard Ellis |
Compiling Conceptual Graphs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Evelina Lamma, Paola Mello |
Processing Abductive Reasoning via Contextual Logic Programming. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Mantsivoda |
Flang: A Functional-Logic Language. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Zdravko Markov |
A Tool for Building Connectionist-like Networks Based on Term Unification. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre E. Bonzon |
Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic Machine. |
PDK |
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. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Hanschke, Andreas Abecker, Dennis Drollinger |
TAXON: A Concept Language with Concrete Domains. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Yaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu |
Parallelizing Prolog on Shared-Memory Multiprocessors. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Guarino |
A Concise Presentation of ITL. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Valentinas Kriauciukas |
Nonclassical Models for Logic Programs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Dorochevsky, Jacques Noyé, Oliver Thibault |
Has Dedicated Hardware for Prolog a Future? |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Artale, Francesca Cesarini, Giovanni Soda |
Subsumption Computation on an Object-Oriented Data Model. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Philippe Balbiani, Andreas Herzig, Mamede Lima-Marques |
TIM: The Toulouse Inference Machine for Non-Classical Logic Programming. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry A. Kautz, Bart Selman |
A General Framework for Knowledge Compilation. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Maurizio Lenzerini, Andrea Schaerf |
Querying Concept-based Knowledge Bases. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Beierle, Gregor Meyer, Heiner Semle |
A Brief Description of the PROTOS-L System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Treur |
Declarative Functionality Descriptions of Interactive Reasoning Modules. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Wolf-Fritz Riekert |
Providing Declarative Access to a Processing System for Satellite Image Data. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Guarino |
A Mini-Description of the ITL System. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Hanus |
Efficient Implementation of Narrowing and Rewriting. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Egon Börger, Elvinia Riccobene |
Logical Operational Semantics of Parlog, Part I: And-Parallelism. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Bernhard Hollunder |
A Terminological Knowledge Representation System with Complete Inference Algorithms. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Knut Hinkelmann, Martin Harm, Thomas Labisch |
Transforming Horn Clauses for Forward Reasoning. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Martin Aronsson, Lars-Henrik Eriksson |
The GCLA II Programming Language. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Andy King, Paul Soper |
Reducing Scheduling Overheads for Concurrent Logic Programs. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Fricke, Manfred Hein |
PCPL - PROLOG Constraint Processing Library Version 2.0. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Herbert Jaeger |
An Introduction to Dynamic Concept Systems. |
PDK |
1991 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license