Mechanizing skeptical abduction and its applications to artificial intelligence

Pierre Marquis. Mechanizing skeptical abduction and its applications to artificial intelligence. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 300-307, IEEE, 1991. [doi]

Abstract

Abstract is missing.