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

• User guide
  (Version 2.1.0, Last update: 25 March 2011)
• SPINdle API Reference (Javadoc)

Academic and research publications

• What are the Necessity Rules in Defeasible Logic?
  
  H.-P. Lam and G. Governatori
  In Proceedings of the 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-2011)
  16-19 May, 2011, Vancouver, BC, Canada
  [pdf] [bibtex]
• On the problem of computing the Ambiguity Propagation and Well-Founded Semantics in Defeaible Logics
  
  H.-P. Lam and G. Governatori
  In Proceedings of the 4th International Web Rule Symposium (RuleML-2010)
  21-23 October, 2010, Washington, DC, USA
  [pdf] [bibtex]
• A model to coordinate UAVs in urban environment using defeasible logic
  
  H.-P. Lam, S. Thakur, G. Governatori and A. Sattar
  In Proceedings of the 3rd International RuleML-2009 Challenge
  5-7 Nov, 2009, Las Vegas, Nevada, USA
  [pdf] [bibtex]
• The making of SPINdle
  
  H.-P. Lam and G. Governatori
  In Proceedings of the 3rd International Symposium on Rule Interchange and Applications (RuleML-2009)
  5-7 Nov, 2009, Las Vegas, Nevada, USA
  [pdf] [bibtex]

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

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