A theory of fine-grained lineage for functions on structured objects
From MaRDI portal
Cites work
- An efficient explanation of individual classifications using game theory
- Causal Unfoldings and Disjunctive Causes
- Causes and Explanations: A Structural-Model Approach. Part I: Causes
- Complexity results for structure-based causality.
- Computer says no: verdict explainability for runtime monitors using a local proof system
- Declarative layout constraints for testing web applications
- Explaining Counterexamples Using Causality
- Explaining counterexamples using causality
- Foundations of fine-grained explainability
- Functional programs that explain their work
- scientific article; zbMATH DE number 3669821 (Why is no real title available?)
- scientific article; zbMATH DE number 2080480 (Why is no real title available?)
- scientific article; zbMATH DE number 1748069 (Why is no real title available?)
- scientific article; zbMATH DE number 2243367 (Why is no real title available?)
- Information flow inference for ML
- Information-flow and data-flow analysis of while-programs
- Model checking of safety properties
- Monitoring of temporal first-order properties with aggregations
- Provenance as dependency analysis
- Robust satisfaction of temporal logic over real-valued signals
- The computational complexity of structure-based causality
- Tools and Algorithms for the Construction and Analysis of Systems
- Trace diagnostics using temporal implicants
- Whodunit? Causal Analysis for Counterexamples
This page was built for publication: A theory of fine-grained lineage for functions on structured objects
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6996055)
