Minimum-Cost Robust Evidence Certificates for Horn Reasoning under Correlated Source Failures.

arXiv:2610.25865v1 Announce Type: new Abstract: A small justification for a rule-based conclusion may disappear when a source is withdrawn, and multiple derivations need not provide independent evidence. We study minimum-cost certificates that preserve a Horn