Guido Governatori

Latest

• Proof extraction for explanations in defeasible deontic logic
• Extraction of Defeasible Proofs as Explanations