5 results for “topic:defeasible-logic”
An implementation of Defeasible Logic in Python
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
A Pollock-style Normative Defeasible Engine (NDE) for defeasible reasoning, with LLM-assisted argument generation and defeat discovery.