Abduction in equilibrium logic.

David Pearce Agustín Valverde

Published in: Answer Set Programming (2001)

Keyphrases

abductive reasoning
causal networks
belief revision
abductive logic programming
decision trees
evolutionary algorithm
background knowledge
predicate invention
logic programming
database
machine learning
computational complexity
artificial neural networks
special case