Curry-Howard isomorphism for deontic logic — formalizing Korean Civil Act with Haskell type-level stratified defeasibility
Experimental symbolic reasoning infrastructure focused on transparent defeasible reasoning, replayable proof traces, and split evaluation of parsing, grounding, and reasoning failures.
A Pollock-style Normative Defeasible Engine (NDE) for defeasible reasoning, with LLM-assisted argument generation and defeat discovery.
A defeasible reasoning tool using Rational Closure and Lexicographic Closure.
An R&D Neurosymbolic Reasoning Graph orchestrating LLM with truth-maintenance
Implementation and Evaluation of KLM-Style Defeasible Entailment and Explanation Algorithms - A project of the University of Cape Town
An epistemic AI lab for scientifically evaluating how language models track belief, truth, knowledge, inference, defeaters, and luck.
Episode-scoped Hermes Agent plugin that tracks beliefs and evidence by pramāṇa, maintains justification and defeat graphs, injects a bounded ledger into every model request, validates final answers, and blocks high-stakes tool actions unless their preconditions are supported.
Add a description, image, and links to the defeasible-reasoning topic page so that developers can more easily learn about it.
To associate your repository with the defeasible-reasoning topic, visit your repo's landing page and select "manage topics."