“ 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.
Jun
28
2009
