This page contains some useful documentation for the SPINdle defeasible logic reasoner.
Academic and research publication
Information about defeasible logic can be found from the following URL: