SPINdleJava based logic reasoner | |
Download |
SPINdle Ranking & Summary
Advertisement
SPINdle Tags
SPINdle Description
SPINdle is a handy, easy to use logic reasoner application that can be used to compute the consequence of defeasible logic theories. SPINdle is developed using the Java programming language and can be run on Mac OS X, Windows and Linux.
SPINdle Related Software