Similar Items: Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
- Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
- Towards Neuro-symbolic Causal Rule Synthesis, Verification, and Evaluation Grounded in Legal and Safety Principles
- ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
- ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor
- Automaton-based Characterisations of First Order Logic over Infinite Trees
- iSMC: A BDD-based Symbolic Model Checker with Interactive Certification