SPINdle, implemented using Java, is a defeasible logic reasoner that is capable to compute the extensions of defeasible logic theories in an efficient manner. The implementation covers both standard defeasible logic and modal defeasible logic. It can be executed as a standalone defeasible logic reasoner, or used inside an application as an embedding defeasible logic rule engine and manipulate it using its own APIs.
Currently, SPINdle is distributed under the terms of the FSF Lesser GNU Public License (Version 3).
For more details about SPINdle, please visit the SPINdle web site: http://spindle.data61.csiro.au/spindle
For further information SPINdle, please contact: Dr Ho-Pun Lam (Brian)