Amanote Research
Register
Sign In
Abduction and Abductive Logic Programming
doi 10.7551/mitpress/4316.003.0012
Full Text
Open PDF
Abstract
Available in
full text
Date
January 1, 1994
Authors
Unknown
Publisher
The MIT Press
Related search
Abduction in Logic Programming as Second-Order Quantifier Elimination
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture
Abductive Reasoning in Normal Residuated Logic Programming via Bipolar Max-Product Fuzzy Relation Equations
On the Equivalence Between Disjunctive and Abductive Logic Programs
Logic Programming
Integrating Answer Set Programming and Constraint Logic Programming
Annals of Mathematics and Artificial Intelligence
Applied Mathematics
Artificial Intelligence
Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming
Machine Learning
Artificial Intelligence
Software
Service-Oriented Logic Programming
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Provenance and Temporally Annotated Logic Programming
International Journal of Advanced Research in Artificial Intelligence
