Extracting Conflicting Facts in Probabilistic Datalog through Generating Minimal Unsatisfiable Subsets
Fields of Study & Subjects
Logic
Reasoning
and Knowledge
Constraint Satisfaction and Optimization
Bayesian Modeling and Causal Inference
Publication details
- Journal / source
- Zenodo (CERN European Organization for Nuclear Research)
- Publication date
- 30 January 2026