Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540580256, 9783540484172

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Finite domains and exclusions as first-class citizens

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_49 ◽

1994 ◽

pp. 37-61

Author(s):

Harold Boley

Keyword(s):

Finite Domains

Download Full-text

A language with finite sets embedded in the CLP-scheme

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_51 ◽

1994 ◽

pp. 77-93 ◽

Cited By ~ 1

Author(s):

Agostino Dovier

Keyword(s):

Finite Sets

Download Full-text

Definitional reflection and the completion

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_65 ◽

1994 ◽

pp. 333-347 ◽

Cited By ~ 10

Author(s):

Peter Schroeder-Heister

Download Full-text

Representation and inference with consistent temporal propositions

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_64 ◽

1994 ◽

pp. 322-332

Author(s):

Cristina Ribeiro ◽

António Porto

Download Full-text

Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_50 ◽

1994 ◽

pp. 62-76 ◽

Cited By ~ 1

Author(s):

Anna Ciampolini ◽

Evelina Lamma ◽

Paola Mello ◽

Cesare Stefanelli

Keyword(s):

Experimental Results

Download Full-text

Contradiction: When avoidance equals removal Part II

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_61 ◽

1994 ◽

pp. 268-281 ◽

Cited By ~ 2

Author(s):

Luís Moniz Pereira ◽

José Júlio Alferes

Download Full-text

Contradiction: When avoidance equals removal Part I

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_47 ◽

1994 ◽

pp. 11-23 ◽

Cited By ~ 7

Author(s):

José Júlio Alferes ◽

Luís Moniz Pereira

Download Full-text

Finitary partial inductive definitions as a general logic

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_52 ◽

1994 ◽

pp. 94-119 ◽

Cited By ~ 1

Author(s):

Lars -Henrik Eriksson

Keyword(s):

Inductive Definitions ◽

General Logic ◽

Partial Inductive Definitions

Download Full-text

Regular search spaces as a foundation of logic programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_59 ◽

1994 ◽

pp. 222-254 ◽

Cited By ~ 2

Author(s):

Alberto Momigliano ◽

Mario Ornaghi

Keyword(s):

Logic Programming ◽

Search Spaces

Download Full-text

Programming methodologies in GCLA

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-58025-5_53 ◽

1994 ◽

pp. 120-151

Author(s):

Göran Falkman ◽

Olof Torgersson

Download Full-text

Extensions of Logic Programming - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Finite domains and exclusions as first-class citizens

A language with finite sets embedded in the CLP-scheme

Definitional reflection and the completion

Representation and inference with consistent temporal propositions

Some experimental results in implementing a logic language with multi-head clauses on a Transputer architecture

Contradiction: When avoidance equals removal Part II

Contradiction: When avoidance equals removal Part I

Finitary partial inductive definitions as a general logic

Regular search spaces as a foundation of logic programming

Programming methodologies in GCLA

Extensions of Logic Programming - Lecture Notes in Computer Science
Latest Publications