4 papers
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…
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…
Compositional Boundaries for Density Fusion
Ratan Bahadur Thapa, Ali Darijani, Jürgen Beyerer +2
Distributed uncertainty-management systems often combine local probabilistic models along aggregation trees chosen by communication, privacy, or scheduling constraints. The final d…
ProbSPARQL: Querying Knowledge Graphs with Multi-dimensional, Uncertain Numeric Data
Jingcheng Wu, Ratan Bahadur Thapa, Daniel Hernandez +2
The SFB 1574 Circular Factory is building a shared knowledge graph infrastructure for integrating data about returned products. A central challenge is that circular-factory data in…