Guido Governatori

Latest

• Extraction of Defeasible Proofs as Explanations