Processing Declarative Knowledge - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer-Verlag

354055033x

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

FIDO: Exploring finite domain consistency techniques in logic programming

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013555 ◽

2005 ◽

pp. 425-427

Author(s):

Manfred Meyer ◽

Jörg Müller ◽

Stefan Schrödl

Keyword(s):

Logic Programming ◽

Finite Domain ◽

Domain Consistency

Download Full-text

Processing abductive reasoning via Contextual Logic Programming

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013542 ◽

2005 ◽

pp. 336-343

Author(s):

Evelina Lamma ◽

Paola Mello

Keyword(s):

Logic Programming ◽

Abductive Reasoning

Download Full-text

Tim: The toulouse inference machine for non-classical logic programming

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013544 ◽

2005 ◽

pp. 366-382 ◽

Cited By ~ 5

Author(s):

Philippe Balbiani ◽

Andreas Herzig ◽

Mamede Lima Marques

Keyword(s):

Logic Programming ◽

Classical Logic

Download Full-text

Providing declarative access to a processing system for satellite image data

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013532 ◽

2005 ◽

pp. 214-220 ◽

Cited By ~ 1

Author(s):

Wolf-Fritz Riekert

Keyword(s):

Satellite Image ◽

Processing System ◽

Image Data ◽

Satellite Image Data

Download Full-text

Rule-aided constraint resolution in Laure

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013534 ◽

2005 ◽

pp. 237-256 ◽

Cited By ~ 1

Author(s):

Yves Caseau

Download Full-text

A tool for building connectionist-like networks based on term unification

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013531 ◽

2005 ◽

pp. 199-213 ◽

Cited By ~ 1

Author(s):

Zdravko Markov

Download Full-text

Efficient implementation of narrowing and rewriting

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013543 ◽

2005 ◽

pp. 344-365 ◽

Cited By ~ 12

Author(s):

Michael Hanus

Keyword(s):

Efficient Implementation

Download Full-text

Flang: A functional-logic language

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013535 ◽

2005 ◽

pp. 257-270 ◽

Cited By ~ 3

Author(s):

Andrei V. Mantsivoda

Keyword(s):

Functional Logic

Download Full-text

Taxon: A concept language with concrete domains

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013550 ◽

2005 ◽

pp. 411-413 ◽

Cited By ~ 8

Author(s):

Philipp Hanschke ◽

Andreas Abecker ◽

Dennis Drollinger

Keyword(s):

Concrete Domains

Download Full-text

Data-driven transformation of meta-interpreters: A sketch

Processing Declarative Knowledge - Lecture Notes in Computer Science ◽

10.1007/bfb0013539 ◽

2005 ◽

pp. 301-308 ◽

Cited By ~ 3

Author(s):

Yannis Cosmadopoulos ◽

Marek Sergot ◽

Richard W. Southwick

Keyword(s):

Data Driven

Download Full-text

Processing Declarative Knowledge - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer-Verlag

FIDO: Exploring finite domain consistency techniques in logic programming

Processing abductive reasoning via Contextual Logic Programming

Tim: The toulouse inference machine for non-classical logic programming

Providing declarative access to a processing system for satellite image data

Rule-aided constraint resolution in Laure

A tool for building connectionist-like networks based on term unification

Efficient implementation of narrowing and rewriting

Flang: A functional-logic language

Taxon: A concept language with concrete domains

Data-driven transformation of meta-interpreters: A sketch

Processing Declarative Knowledge - Lecture Notes in Computer Science
Latest Publications