Gabriele Buriola

Latest

• Proof extraction for explanations in defeasible deontic logic