Houdini (unchained): An Effective Reasoner for Defeasible Logic. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Luca Pasetto; Francesco Tubini; Celeste Veronese; Alessandro Villa; Edoardo Zorzi (AI³@AI*IA, 2022)

The architecture of a reasoning system for Defeasible Deontic Logic. - Matteo Cristani; Guido Governatori; Francesco Olivieri; Luca Pasetto; Francesco Tubini; Celeste Veronese; Alessandro Villa; Edoardo Zorzi (KES, 2023)