This page contains some useful documentation for the SPINdle defeasible logic reasoner.

• User guide (Last update: 13 April 2010)
• SPINdle API Reference (Javadoc)

Academic and research publication

• The making of SPINdle
  
  In Proceedings of The International RuleML Symposium on Rule Interchange and Applications (RuleML 2009)
  [pdf] [bibtex]

Information about defeasible logic can be found from the following URL:

• Defeasible Logic
  http://www.defeasible.net