Logic Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540582168, 9783540485735

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Logical closures

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_33 ◽

1994 ◽

pp. 114-128 ◽

Cited By ~ 2

Author(s):

Dominic Duggan

Download Full-text

Goal dependent vs. goal independent analysis of logic programs

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_46 ◽

1994 ◽

pp. 305-319 ◽

Cited By ~ 1

Author(s):

M. Codish ◽

M. García Banda ◽

M. Bruynooghe ◽

M. Hermenegildo

Keyword(s):

Logic Programs ◽

Independent Analysis

Download Full-text

A logic programming framework for the abductive inference of intentions in cooperative dialogues

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_38 ◽

1994 ◽

pp. 189-199

Author(s):

Paulo Quaresma ◽

José Gabriel Lopes

Keyword(s):

Logic Programming ◽

Abductive Inference ◽

Programming Framework

Download Full-text

Towards efficient calculi for resource-oriented deductive planning

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_37 ◽

1994 ◽

pp. 174-188 ◽

Cited By ~ 3

Author(s):

Stefan Brüning

Keyword(s):

Deductive Planning

Download Full-text

Program extraction in a Logical Framework setting

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_35 ◽

1994 ◽

pp. 144-158 ◽

Cited By ~ 3

Author(s):

Penny Anderson

Keyword(s):

Logical Framework ◽

Program Extraction

Download Full-text

Higher-order rigid E-unification

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_34 ◽

1994 ◽

pp. 129-143 ◽

Cited By ~ 1

Author(s):

Jean Goubault

Keyword(s):

Higher Order

Download Full-text

Projection in temporal logic programming

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_48 ◽

1994 ◽

pp. 333-344 ◽

Cited By ~ 25

Author(s):

Zhenhua Duan ◽

Maciej Koutny ◽

Chris Holt

Keyword(s):

Logic Programming ◽

Temporal Logic ◽

Temporal Logic Programming

Download Full-text

RISC-CLP(CF) constraint logic programming over complex functions

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_32 ◽

1994 ◽

pp. 99-113 ◽

Cited By ~ 1

Author(s):

Hoon Hong

Keyword(s):

Logic Programming ◽

Constraint Logic Programming ◽

Complex Functions

Download Full-text

On a proof-theoretical analysis of Σ11-AC, Σ11-DC and Δ11-CA

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_28 ◽

1994 ◽

pp. 44-53

Author(s):

Sergei Tupailo

Keyword(s):

Theoretical Analysis

Download Full-text

Program tactics and logic tactics

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science ◽

10.1007/3-540-58216-9_26 ◽

1994 ◽

pp. 16-30 ◽

Cited By ~ 1

Author(s):

Fausto Giunchiglia ◽

◽

Paolo Traverso

Download Full-text

Logic Programming and Automated Reasoning - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Logical closures

Goal dependent vs. goal independent analysis of logic programs

A logic programming framework for the abductive inference of intentions in cooperative dialogues

Towards efficient calculi for resource-oriented deductive planning

Program extraction in a Logical Framework setting

Higher-order rigid E-unification

Projection in temporal logic programming

RISC-CLP(CF) constraint logic programming over complex functions

On a proof-theoretical analysis of Σ11-AC, Σ11-DC and Δ11-CA

Program tactics and logic tactics

Logic Programming and Automated Reasoning - Lecture Notes in Computer Science
Latest Publications