|
This page contains some useful documentation for the SPINdle defeasible logic reasoner.
Academic and research publications
- What are the Necessity Rules in Defeasible Logic?
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
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
In Proceedings of the 3rd International RuleML-2009 Challenge
5-7 Nov, 2009, Las Vegas, Nevada, USA
[pdf]
[bibtex]
- The making of SPINdle
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:
|