defeasible-logic
Here are 8 public repositories matching this topic...
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.
-
Updated
Apr 21, 2026 - TypeScript
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
-
Updated
Aug 3, 2018 - Common Lisp
Protégé Desktop plugin for defeasible reasoning in OWL ontologies using the style of Kraus, Lehmann and Magidor
-
Updated
May 1, 2020 - Java
An implementation of Defeasible Deontic Logic in Answer Set Programming
-
Updated
May 25, 2026 - Classic ASP
A Pollock-style Normative Defeasible Engine (NDE) for defeasible reasoning, with LLM-assisted argument generation and defeat discovery.
-
Updated
Dec 3, 2025 - Python
Supplementing a Bayesian Network with classical and defeasible inference logical statements.
-
Updated
Aug 23, 2018 - Java
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.
-
Updated
Jun 4, 2026 - Python
Improve this page
Add a description, image, and links to the defeasible-logic topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the defeasible-logic topic, visit your repo's landing page and select "manage topics."