Eliminating the Impossible, Whatever Remains Must Be True: On Extracting and Applying Background Knowledge in the Context of Formal Explanations.

Jinqiang Yu, Alexey Ignatiev, Peter J. Stuckey, Nina Narodytska, Joo Marques-Silva

Browse the full AAAI paper archive.