A Theorem-Prover for a Decidable Subset of Default Logic.

Philippe Besnard, Rene Quiniou, Patrice Quinton

Browse the full AAAI paper archive.