Amanote Research
Register
Sign In
On the Equivalence Between Disjunctive and Abductive Logic Programs
doi 10.7551/mitpress/4316.003.0050
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Disjunctive Signed Logic Programs
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
Recursive Aggregates in Disjunctive Logic Programs: Semantics and Complexity
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Completeness of Hyper-Resolution via the Semantics of Disjunctive Logic Programs
Information Processing Letters
Signal Processing
Computer Science Applications
Information Systems
Theoretical Computer Science
Abduction and Abductive Logic Programming
Calculi for Disjunctive Logic Programming
Disjunctive Programs With Set Constraints
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Disjunctive Logic Programming as Constrained Inferences
On the Equivalence of Recursive and Nonrecursive Datalog Programs
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
