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

TOTAL DOCUMENTS

21

(FIVE YEARS 0)

H-INDEX

5

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540609834, 9783540497516

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A significant extension of logic programming by adapting model building rules

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_4 ◽

1996 ◽

pp. 51-65 ◽

Author(s):

Ricardo Caferra ◽

Nicolas Peltier

Keyword(s):

Logic Programming ◽

Model Building ◽

Significant Extension

Download Full-text

Pruning the search space of logic programs

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_3 ◽

1996 ◽

pp. 35-49 ◽

Author(s):

Antonio Brogi ◽

Cosimo Guarino

Keyword(s):

Search Space ◽

Download Full-text

Super logic programs and negation as belief

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_16 ◽

1996 ◽

pp. 229-235 ◽

Author(s):

Teodor C. Przymusinski

Keyword(s):

Download Full-text

Soundness and completeness of non-classical extended SLD-resolution

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_20 ◽

1996 ◽

pp. 289-301 ◽

Author(s):

Peter Vojtás ◽

Leonard Paulík

Keyword(s):

Soundness And Completeness ◽

Download Full-text

On the computational complexity of propositional logic programs with nested implications

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_10 ◽

1996 ◽

pp. 153-159

Author(s):

Jörg Hudelmaier

Keyword(s):

Computational Complexity ◽

Propositional Logic ◽

Download Full-text

Handling equality in logic programming via basic folding

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_8 ◽

1996 ◽

pp. 119-136 ◽

Author(s):

Anatoli Degtyarev ◽

Andrei Voronkov

Keyword(s):

Logic Programming

Download Full-text

Total correctness of logic programs: A formal approach

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_17 ◽

1996 ◽

pp. 237-254 ◽

Author(s):

Robert F. Stärk

Keyword(s):

Logic Programs ◽

Formal Approach ◽

Total Correctness

Download Full-text

A new framework for declarative programming: Categorical perspectives

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_14 ◽

1996 ◽

pp. 209-211

Author(s):

James Lipton ◽

Stacy E. Finkelstein ◽

Peter Freyd

Keyword(s):

Declarative Programming ◽

Download Full-text

Default negated conclusions: Why not?

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_7 ◽

1996 ◽

pp. 103-117 ◽

Author(s):

Carlos Viegas Damásio ◽

Luís Moniz Pereira

Download Full-text

A logic language based on GAMMA-like multiset rewriting

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-60983-0_6 ◽

1996 ◽

pp. 83-101 ◽

Author(s):

Paolo Ciancarini ◽

Daniela Fogli ◽

Mauro Gaspari

Download Full-text