Backdoors to Abduction.

Andreas Pfandler Stefan Rümmele Stefan Szeider

Published in: IJCAI (2013)

Keyphrases

hidden structure
background knowledge
abductive reasoning
logic programming
satisfiability problem
sat solvers
causal networks
belief revision
sat instances
neural network
reasoning tasks
predicate invention
inference rules
model checking
special case
multi agent
objective function
case study
data mining