Backdoors to Abduction

Andreas Pfandler Stefan Rümmele Stefan Szeider

Published in: CoRR (2013)

Keyphrases

hidden structure
abductive reasoning
causal networks
logic programming
satisfiability problem
background knowledge
belief revision
sat solvers
social networks
computer vision
information systems
case study
data structure
abductive logic programming