Abductive and Default Reasoning: A Computational Core

Bart Selman, Hector J. Levesque. Abductive and Default Reasoning: A Computational Core. In AAAI. pages 343-348, 1990.

Abstract

Abstract is missing.