Completeness for cut-based abduction.

Alexandre Matos Arruda Marcelo Finger

Published in: Log. J. IGPL (2014)

Keyphrases

logic programming
background knowledge
abductive reasoning
data quality
image segmentation
logic programs
lower bound
causal networks