Houdini (unchained): an effective reasoner for defeasible logic

This paper introduces Houdini, a Java implementation of a propositional defeasible logic reasoner. We discuss the development endeavoured so far. Houdini constitutes the first step in a longer plan, we anticipate here as well, that aims at extending the implementation to treat deontic defeasible theories, along with some relevant entities such as amounts, dates and durations. The system is presented in terms of architecture, performance and actual functionalities for the implementation phase documented here, and envisioned in the further steps we are in the process of carrying out in the near future.