The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
-
Updated
Aug 3, 2018 - Common Lisp
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
An implementation of Defeasible Deontic Logic in Answer Set Programming
Supplementing a Bayesian Network with classical and defeasible inference logical statements.
Add a description, image, and links to the defeasible-logic topic page so that developers can more easily learn about it.
To associate your repository with the defeasible-logic topic, visit your repo's landing page and select "manage topics."