Login / Signup
Compilability of Abduction
Paolo Liberatore
Marco Schaerf
Published in:
CoRR (2002)
Keyphrases
</>
background knowledge
logic programming
abductive reasoning
causal networks
belief revision
knowledge base
image sequences
abductive logic programming
propositional knowledge base
database
learning algorithm
artificial intelligence
computational complexity
relational databases
logic programs