Logic Programming
Latest Publications

TOTAL DOCUMENTS

44

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By The MIT Press

9780262291323

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Constraint Logic Programming with Hereditary Harrop Formulas

Logic Programming ◽

10.7551/mitpress/4283.003.0036 ◽

1997 ◽

Keyword(s):

Logic Programming ◽

Constraint Logic Programming

Download Full-text

Dynamics '97

Logic Programming ◽

10.7551/mitpress/4283.003.0050 ◽

1997 ◽

Download Full-text

Multi-Paradigm Declarative Programming

Logic Programming ◽

10.7551/mitpress/4283.003.0016 ◽

1997 ◽

Keyword(s):

Declarative Programming

Download Full-text

A Procedure for Mediation of Queries to Sources in Disparate Contexts

Logic Programming ◽

10.7551/mitpress/4283.003.0030 ◽

1997 ◽

Cited By ~ 6

Download Full-text

Programming with Global Analysis

Logic Programming ◽

10.7551/mitpress/4283.003.0018 ◽

1997 ◽

Keyword(s):

Global Analysis

Download Full-text

OPENLOG

Logic Programming ◽

10.7551/mitpress/4283.003.0044 ◽

1997 ◽

Download Full-text

On T Logic Programming

Logic Programming ◽

10.7551/mitpress/4283.003.0037 ◽

1997 ◽

Keyword(s):

Logic Programming

Download Full-text

Calculi for Disjunctive Logic Programming

Logic Programming ◽

10.7551/mitpress/4283.003.0031 ◽

1997 ◽

Keyword(s):

Logic Programming

Download Full-text

Answer Sets for Prioritized Logic Programs

Logic Programming ◽

10.7551/mitpress/4283.003.0021 ◽

1997 ◽

Keyword(s):

Logic Programs ◽

Answer Sets

Download Full-text

Transaction Logic

Logic Programming ◽

10.7551/mitpress/4283.003.0017 ◽

1997 ◽

Keyword(s):

Transaction Logic

Download Full-text