defeasible-logic
Here are 8 public repositories matching this topic...
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
Jan 24, 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
Lex: A Logic for Jurisdictional Rules — dependently-typed, effect-typed logic with temporal stratification, authority-relative interpretation, and typed discretion holes
-
Updated
Apr 20, 2026 - Rust
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
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."