Summary | Demo | Download | Documentation | Tools | Contact

This page is the web interface of the SPINdle defeasible logic reasoner.

You can click on an example defeasible logic theories below; or you can define a defeasible logic theory yourself and then submit it to SPINdle to generate the conclusions.