Logic Programming and Non-Monotonic Reasoning
Latest Publications

TOTAL DOCUMENTS

39

(FIVE YEARS 0)

H-INDEX

0

(FIVE YEARS 0)

Published By The MIT Press

9780262291378

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Canonical Kripke Models and The Intuitionistic Semantics of Logic Programs

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0036 ◽

1993 ◽

Keyword(s):

Kripke Models ◽

Logic Programs ◽

Semantics Of Logic Programs ◽

Intuitionistic Semantics

Download Full-text

Reasoning in Open Domains

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0033 ◽

1993 ◽

Download Full-text

Justification semantics

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0031 ◽

1993 ◽

Download Full-text

Nonstandard Semantics

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0027 ◽

1993 ◽

Download Full-text

Diagnosis and Debugging as Contradiction Removal

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0026 ◽

1993 ◽

Download Full-text

Relating Disjunctive Logic Programs to Default Theories

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0023 ◽

1993 ◽

Keyword(s):

Logic Programs ◽

Disjunctive Logic Programs

Download Full-text

An Intuitionistic Interpretation of Finite and Infinite Failure

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0035 ◽

1993 ◽

Download Full-text

Constructive Logic

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0034 ◽

1993 ◽

Keyword(s):

Constructive Logic

Download Full-text

Scenario Semantics of Extended Logic Programs

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0029 ◽

1993 ◽

Keyword(s):

Logic Programs

Download Full-text

Tools for Deductive Databases

Logic Programming and Non-Monotonic Reasoning ◽

10.7551/mitpress/4307.003.0028 ◽

1993 ◽

Keyword(s):

Deductive Databases

Download Full-text