Open access
Sep 2026
Proof-Carrying Neuro-Symbolic Reasoning for Non-Monotonic Legal Decision Support with LLMs
A proof-carrying neuro-symbolic method for non-monotonic legal reasoning that is restricted to source-linked extraction of facts, defeasible rules, defeaters, priorities, citations, and operational confidence scores, while a deterministic symbolic engine computes the conclusion.
Maxim Ulizko, Tatiana Polevaya, I. Tomilov et al.
· Big Data and Cognitive Compu... · 0 citations