Causal Kripke Models (Q6199608): Difference between revisions

@@ Property / cites work @@
+Observing interventions: a logic for thinking about experiments
+Normal rank
@@ Property / cites work @@
+Explaining counterexamples using causality
@@ Property / cites work: Explaining counterexamples using causality / rank @@
+Normal rank
@@ Property / cites work @@
+What causes a system to satisfy a specification?
@@ Property / cites work: What causes a system to satisfy a specification? / rank @@
+Normal rank
@@ Property / cites work @@
+Q5267443
@@ Property / cites work: Q5267443 / rank @@
+Normal rank
@@ Property / cites work @@
+Causes and Explanations: A Structural-Model Approach. Part I: Causes
+Normal rank
@@ Property / cites work @@
+Causes and Explanations: A Structural-Model Approach. Part II: Explanations
+Normal rank
@@ Property / cites work @@
+Causality Checking for Complex System Models
@@ Property / cites work: Causality Checking for Complex System Models / rank @@
+Normal rank
@@ Property / cites work @@
+Q3651576
@@ Property / cites work: Q3651576 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5226130
@@ Property / cites work: Q5226130 / rank @@
+Normal rank
@@ Property / cites work @@
+Causality for Machine Learning
@@ Property / cites work: Causality for Machine Learning / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:6199608