Explaining Explanations in Probabilistic Logic Programming
Abstract elided by the publisher.
Related papers
- Explainable Online Monitoring of Metric First-Order Temporal Logic TACAS 2024
- Proofs as Programs TOPLAS 1985
- Explaining Hyperproperty Violations CAV 2022
- Explaining spreadsheets with spreadsheets (short paper) GPCE 2018
- Explainable Online Monitoring of Metric Temporal Logic TACAS 2023
- PL4XGL: A Programming Language Approach to Explainable Graph Learning PLDI 2024
- Explaining anomalies in feature models GPCE 2016
- Compositional Explanation of Types and Algorithmic Debugging of Type Errors ICFP 2001