Compilability of Abduction.

Paolo Liberatore Marco Schaerf

Published in: AAAI/IAAI (2000)

Keyphrases

abductive reasoning
background knowledge
logic programming
predicate invention
propositional knowledge base
data structure
inductive logic programming
database
machine learning
genetic algorithm
multi agent systems
belief revision
nonmonotonic reasoning