Summary | Demo | Download | Documentation | Tools | Contact

SPINdle is a logic reasoner that can be used to compute the consequence of defeasible logic theories in an efficient manner. The current implementation covers both the basic defeasible logic and modal defeasible logic. It can be used as a standalone theory prover or as an embedded reasoning engine.

License: GNU Lesser General Public License (LGPL)

Last update: 30 May 2013.

Latest news