Logic Programming
Latest Publications

TOTAL DOCUMENTS

61

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By The MIT Press

9780262257145

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

ACE: And/Or-parallel Copying-based Execution of Logic Programs

Logic Programming ◽

10.7551/mitpress/4316.003.0019 ◽

1994 ◽

Keyword(s):

Logic Programs

Download Full-text

Proving Hardware Designs

Logic Programming ◽

10.7551/mitpress/4316.003.0078 ◽

1994 ◽

Keyword(s):

Hardware Designs

Download Full-text

PP-clauses: a Means for Handling Resources

Logic Programming ◽

10.7551/mitpress/4316.003.0076 ◽

1994 ◽

Download Full-text

IsaWhelk: Whelk Interpreted in Isabelle

Logic Programming ◽

10.7551/mitpress/4316.003.0074 ◽

1994 ◽

Download Full-text

Conjunto: Constraint propagation over set constraints with finite set domain variables

Logic Programming ◽

10.7551/mitpress/4316.003.0069 ◽

1994 ◽

Keyword(s):

Constraint Propagation ◽

Set Domain ◽

Set Constraints ◽

Finite Set

Download Full-text

The Halting Problem for Deductive Synthesis of Logic Programs

Logic Programming ◽

10.7551/mitpress/4316.003.0064 ◽

1994 ◽

Keyword(s):

Logic Programs ◽

Halting Problem ◽

Deductive Synthesis

Download Full-text

A Grammatical Approach to DCG Parsing

Logic Programming ◽

10.7551/mitpress/4316.003.0061 ◽

1994 ◽

Download Full-text

Constraint Solving by Narrowing in Combined Algebraic Domains

Logic Programming ◽

10.7551/mitpress/4316.003.0060 ◽

1994 ◽

Keyword(s):

Constraint Solving ◽

Algebraic Domains

Download Full-text

Default Rules: An Extension of Constructive Negation for Narrowing-based Languages

Logic Programming ◽

10.7551/mitpress/4316.003.0053 ◽

1994 ◽

Keyword(s):

Constructive Negation ◽

Default Rules

Download Full-text

On the Equivalence between Disjunctive and Abductive Logic Programs

Logic Programming ◽

10.7551/mitpress/4316.003.0050 ◽

1994 ◽

Keyword(s):

Logic Programs ◽

Abductive Logic

Download Full-text