Showing cs.DBShow all
2 papers · 1 filter
cs.DB2026
Causal Explanations for Stratified Datalog
Ratan Bahadur Thapa, Steffen Staab
Rule-based reasoning with exceptions requires causal explanations that account for both present and absent facts. For positive Datalog, monotonicity allows minimal supports to dete…
cs.DB2026
Causality and Minimal Supports in Recursive Datalog
Ratan Bahadur Thapa, Steffen Staab
Explaining an inferred fact under rule evaluation can require identifying the inclusion-minimal input sets that suffice for the inference and the deletions that make the fact disap…