Explain: A Tool for Performing Abductive Inference.

Isil Dillig, Thomas Dillig

Browse the full CAV paper archive.