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

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540564546, 9783540475620

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Conditional narrowing with constructive negation

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_4 ◽

1993 ◽

pp. 59-79 ◽

Author(s):

María José Ramírez ◽

Moreno Falaschi

Keyword(s):

Constructive Negation ◽

Conditional Narrowing

Download Full-text

SLWV — A theorem prover for logic programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_1 ◽

1993 ◽

pp. 1-23 ◽

Author(s):

Luís Moniz Pereira ◽

Luis Caires ◽

José Alferes

Keyword(s):

Logic Programming ◽

Download Full-text

A typed foundation for directional logic programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_15 ◽

1993 ◽

pp. 282-318 ◽

Author(s):

Uday S. Reddy

Keyword(s):

Logic Programming

Download Full-text

Implementational issues in GCLA: A-sufficiency and the definiens operation

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_19 ◽

1993 ◽

pp. 394-417 ◽

Author(s):

Martin Aronsson

Download Full-text

CLP $$(\mathcal{A}\mathcal{D})$$ as a deductive database language with updates

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_5 ◽

1993 ◽

pp. 80-99

Author(s):

Elisa Bertino ◽

Maurizio Martelli ◽

Danilo Montesi

Keyword(s):

Deductive Database ◽

Database Language

Download Full-text

Techniques for implementing contexts in Logic Programming

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_17 ◽

1993 ◽

pp. 339-358 ◽

Author(s):

Enrico Denti ◽

Evelina Lamma ◽

Paola Mello ◽

Antonio Natali ◽

Andrea Omicini

Keyword(s):

Logic Programming

Download Full-text

An architecture for Prolog extensions

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_16 ◽

1993 ◽

pp. 319-338 ◽

Author(s):

Micha Meier ◽

Joachim Schimpf

Download Full-text

The π-calculus as a theory in linear logic: Preliminary results

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_13 ◽

1993 ◽

pp. 242-264 ◽

Author(s):

Dale Miller

Keyword(s):

Linear Logic ◽

Preliminary Results ◽

Download Full-text

A modal framework for structured logic programs

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_9 ◽

1993 ◽

pp. 168-186

Author(s):

Laura Giordano ◽

Alberto Martelli

Keyword(s):

Download Full-text

Implementing a notion of modules in the logic programming language λProlog

Extensions of Logic Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-56454-3_18 ◽

1993 ◽

pp. 359-393 ◽

Author(s):

Keehang Kwon ◽

Gopalan Nadathur ◽

Debra Sue Wilson

Keyword(s):

Logic Programming ◽

Programming Language ◽

Logic Programming Language

Download Full-text