Login / Signup
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