Logic Programming
Latest Publications

TOTAL DOCUMENTS

69

(FIVE YEARS 0)

H-INDEX

1

(FIVE YEARS 0)

Published By The MIT Press

9780262291439

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constructing Logic Programs with Higher-Order Predicates

Logic Programming ◽

10.7551/mitpress/4298.003.0089 ◽

1995 ◽

Keyword(s):

Higher Order ◽

Download Full-text

Situated Simplification

Logic Programming ◽

10.7551/mitpress/4298.003.0088 ◽

1995 ◽

Download Full-text

Hybrid Implementation Techniques in Erlang BEAM

Logic Programming ◽

10.7551/mitpress/4298.003.0078 ◽

1995 ◽

Keyword(s):

Implementation Techniques

Download Full-text

A Decision Graph Algorithm for CCP languages

Logic Programming ◽

10.7551/mitpress/4298.003.0046 ◽

1995 ◽

Keyword(s):

Graph Algorithm ◽

Download Full-text

NMCC Programming

Logic Programming ◽

10.7551/mitpress/4298.003.0045 ◽

1995 ◽

Download Full-text

Reduction of abductive logic programs to normal logic programs

Logic Programming ◽

10.7551/mitpress/4298.003.0041 ◽

1995 ◽

Keyword(s):

Logic Programs ◽

Abductive Logic ◽

Download Full-text

Computing Prioritized Circumscription by Logic Programming

Logic Programming ◽

10.7551/mitpress/4298.003.0034 ◽

1995 ◽

Keyword(s):

Logic Programming

Download Full-text

Experimenting with Nonmonotonic Reasoning

Logic Programming ◽

10.7551/mitpress/4298.003.0033 ◽

1995 ◽

Keyword(s):

Nonmonotonic Reasoning

Download Full-text

A Logic Programming Approach to Channel Routing

Logic Programming ◽

10.7551/mitpress/4298.003.0029 ◽

1995 ◽

Keyword(s):

Logic Programming ◽

Programming Approach ◽

Channel Routing

Download Full-text

On Coherence Approach to Logic Program Revision

Logic Programming ◽

10.7551/mitpress/4298.003.0025 ◽

1995 ◽

Keyword(s):

Download Full-text