Mechanizing skeptical abduction and its applications to artificial intelligence.

Pierre Marquis

Browse the full ICTAI paper archive.