Abduction and Abductive Logic Programming

doi 10.7551/mitpress/4316.003.0012

Full Text

Abstract

Available in

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

English

Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture

English

Abductive Reasoning in Normal Residuated Logic Programming via Bipolar Max-Product Fuzzy Relation Equations

English

On the Equivalence Between Disjunctive and Abductive Logic Programs

English

Logic Programming

English

Integrating Answer Set Programming and Constraint Logic Programming

Annals of Mathematics and Artificial Intelligence

Applied Mathematics

Artificial Intelligence

English

Inductive Equivalence in Clausal Logic and Nonmonotonic Logic Programming

Machine Learning

Artificial Intelligence

English

Service-Oriented Logic Programming

Logical Methods in Computer Science

Computer Science

Theoretical Computer Science

English

Provenance and Temporally Annotated Logic Programming

International Journal of Advanced Research in Artificial Intelligence

English