PDK - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 40 from 40

1991

The GCLA II Programming LanguageMartin Aronsson, Lars-Henrik Eriksson. pdk 1991: 399-401

Subsumption Computation on an Object-Oriented Data ModelAlessandro Artale, Francesca Cesarini, Giovanni Soda. pdk 1991: 124-140

A Terminological Knowledge Representation System with Complete Inference AlgorithmsFranz Baader, Bernhard Hollunder. pdk 1991: 67-86

Distributed Disjunctions for LIFERolf Backofen, Lutz Euler, Günther Görz. pdk 1991: 161-170

TIM: The Toulouse Inference Machine for Non-Classical Logic ProgrammingPhilippe Balbiani, Andreas Herzig, Mamede Lima-Marques. pdk 1991: 366-382

A Brief Description of the PROTOS-L SystemChristoph Beierle, Gregor Meyer, Heiner Semle. pdk 1991: 402-404

Processing Declarative Knowledge, International Workshop PDK 91, Kaiserslautern, Germany, July 1-3, 1991, ProceedingsHarold Boley, Michael M. Richter, editors, Volume 567 of Lecture Notes in Computer Science, Springer, 1991.

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

Processing Functional Definitions as Declarative Knowledge: A Reduced Bytecode Implementation of a Functional Logic MachinePierre E. Bonzon. pdk 1991: 271-278

Improving the Efficiency of Constraint Logic Programming Languages by Deriving Specialized VersionsMaurice Bruynooghe, Veroniek Dumortier, Gerda Janssens. pdk 1991: 309-317

Logical Operational Semantics of Parlog, Part I: And-ParallelismEgon Börger, Elvinia Riccobene. pdk 1991: 191-198

Rule-Aided Constraint Resolution in LAUREYves Caseau. pdk 1991: 237-256

Data-driven Transformation of Meta-interpreters: A SketchYannis Cosmadopoulos, Marek J. Sergot, Richard W. Southwick. pdk 1991: 301-308

Has Dedicated Hardware for Prolog a Future?Michel Dorochevsky, Jacques Noyé, Oliver Thibault. pdk 1991: 17-31

Compiling Conceptual GraphsGerard Ellis. pdk 1991: 41-55

PCPL - PROLOG Constraint Processing Library Version 2.0Stefan Fricke, Manfred Hein. pdk 1991: 405-407

Parallelizing Prolog on Shared-Memory MultiprocessorsYaoqing Gao, Dingxing Wang, Qiu Xiaolin, Zhiyi Hwang, Shouren Hu. pdk 1991: 318-335

A Mini-Description of the ITL SystemNicola Guarino. pdk 1991: 408-410

A Concise Presentation of ITLNicola Guarino. pdk 1991: 141-160

TAXON: A Concept Language with Concrete DomainsPhilipp Hanschke, Andreas Abecker, Dennis Drollinger. pdk 1991: 411-413

Efficient Implementation of Narrowing and RewritingMichael Hanus. pdk 1991: 344-365

The ALF System: An Efficient Implementation of a Functional Logic LanguageMichael Hanus. pdk 1991: 414-416

Transforming Horn Clauses for Forward ReasoningKnut Hinkelmann, Martin Harm, Thomas Labisch. pdk 1991: 417-419

An Introduction to Dynamic Concept SystemsHerbert Jaeger. pdk 1991: 87-106

A General Framework for Knowledge CompilationHenry A. Kautz, Bart Selman. pdk 1991: 287-300

Reducing Scheduling Overheads for Concurrent Logic ProgramsAndy King, Paul Soper. pdk 1991: 279-286

Nonclassical Models for Logic ProgramsValentinas Kriauciukas. pdk 1991: 179-190

Processing Abductive Reasoning via Contextual Logic ProgrammingEvelina Lamma, Paola Mello. pdk 1991: 336-343

Querying Concept-based Knowledge BasesMaurizio Lenzerini, Andrea Schaerf. pdk 1991: 107-123

Flang: A Functional-Logic LanguageAndrei Mantsivoda. pdk 1991: 257-270

Implementation of the Functional-Logic Language FlangAndrei Mantsivoda, Vyacheslav Petukhin. pdk 1991: 420-421

A Tool for Building Connectionist-like Networks Based on Term UnificationZdravko Markov. pdk 1991: 199-213

SEPIA 3: 0 - An Extensible Prolog SystemMicha Meier, Joachim Schimpf. pdk 1991: 422-424

FIDO: Exploring Finite Domain Consistency Techniques in Logic ProgrammingManfred Meyer, Jörg P. Müller, Stefan Schrödl. pdk 1991: 425-427

Commercial Applications of Large Prolog Knowledge BasesChris Moss. pdk 1991: 32-40

Reasoning with Maximal Time IntervalsCristina Ribeiro, António Porto. pdk 1991: 171-178

Providing Declarative Access to a Processing System for Satellite Image DataWolf-Fritz Riekert. pdk 1991: 214-220

Declarative Functionality Descriptions of Interactive Reasoning ModulesJan Treur. pdk 1991: 221-236

Subsumption in Knowledge GraphsMark Willems. pdk 1991: 56-66

Efficient Processing of Declarative Rule-Based Languages for DatebasesCarlo Zaniolo. pdk 1991: 1-16

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

PDK (pdk)

Viewing Publication 1 - 40 from 40

1991

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

PDK (pdk)

Viewing Publication 1 - 40 from 40

1991

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1