Nomos — a programming language for legal reasoning. Typed rules with jurisdiction and validity dates, LLM-powered fact extraction, defeasible logic, proof trees that cite statutes and cases. Apache-2.0. Experimental.
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
An implementation of Defeasible Deontic Logic in Answer Set Programming
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
A Pollock-style Normative Defeasible Engine (NDE) for defeasible reasoning, with LLM-assisted argument generation and defeat discovery.
Supplementing a Bayesian Network with classical and defeasible inference logical statements.
English reasoning test cases with expected answers, plus recorded multi-LLM results and analysis for the nlpsolver natural-language-to-logic parser and gk theorem prover.
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."