A Defeasible Description Logic for Abduction. - Gian Luca Pozzato; Marco Spinnicchia (AI*IA, 2023)