J. Barwise & L. Moss (1996):
Vicious Circles.
CSLI Lecture Notes 60.
CSLI Publications – Center for the Study of Language and Information, Stanford, California,
doi:10.1023/A:1008295813424.
S. Beckers & J. Vennekens (2016):
A general framework for defining and extending actual causation using CP-logic.
Int. J. Approx. Reasoning 77,
pp. 105–126,
doi:10.1016/j.ijar.2016.05.008.
A. Beer, S. Heidinger, U. Kühne, F. Leitner-Fischer & S. Leue (2015):
Symbolic Causality Checking Using Bounded Model Checking.
In: B. Fischer & J. Geldenhuys: Model Checking Software - 22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings,
LNCS 9232.
Springer,
pp. 203–221,
doi:10.1007/978-3-319-23404-5_14.
I. Beer, S. Ben-David, H. Chockler, A. Orni & R.J. Trefler (2012):
Explaining counterexamples using causality.
Formal Methods in System Design 40(1),
pp. 20–40,
doi:10.1007/s10703-011-0132-2.
S. Benferhat, J.-F. Bonnefon, P. Chassy, R. Da Silva Neves, D. Dubois, F. Dupin de Saint-Cyr, D. Kayser, F. Nouioua, S. Nouioua-Boutouhami, H. Prade & S. Smaoui (2008):
A Comparative Study of Six Formal Models of Causal Ascription.
In: Scalable Uncertainty Management, Second International Conference, SUM 2008, Naples, Italy, October 1-3, 2008. Proceedings,
Lecture Notes in Computer Science 5291.
Springer,
pp. 47–62,
doi:10.1007/978-3-540-87993-0_6.
V. Danos, J. Feret, W. Fontana, R. Harmer, J. Hayman, J. Krivine, C. Thompson-Walsh & G. Winskel (2012):
Graphs, Rewriting and Pathway Reconstruction for Rule-Based Models.
In: D. D'Souza, T. Kavitha & J. Radhakrishnan: IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2012),
Leibniz International Proceedings in Informatics (LIPIcs) 18.
Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik,
pp. 276–288,
doi:10.4230/LIPIcs.FSTTCS.2012.276.
A. Datta, D. Garg, D. Kirli Kaynar, D. Sharma & A. Sinha (2015):
Program Actions as Actual Causes: A Building Block for Accountability.
In: C. Fournet, M.W. Hicks & L. Viganò: IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015.
IEEE Computer Society,
pp. 261–275,
doi:10.1109/CSF.2015.25.
T. Eiter & T. Lukasiewicz (2002):
Complexity results for structure-based causality.
Artif. Intell. 142(1),
pp. 53–89,
doi:10.1016/S0004-3702(02)00271-0.
D. Galles & J. Pearl (1998):
An Axiomatic Characterization of Causal Counterfactuals.
Foundations of Science 3,
pp. 151–182,
doi:10.1023/A:1009602825894.
C. Glymour, D. Danks, B. Glymour, F. Eberhardt, J. Ramsey, R. Scheines, P. Spirtes, C. M. Teng & J. Zhang (2010):
Actual causation: a stone soup essay.
Synthese 175(2),
pp. 169–192,
doi:10.1007/s11229-009-9497-9.
G. Gössler & L. Aştefănoaei (2014):
Blaming in Component-Based Real-Time Systems.
In: EMSOFT'14.
ACM,
pp. 7:1–7:10,
doi:10.1145/2656045.2656048.
G. Gössler & D. Le Métayer (2015):
A general framework for blaming in component-based systems.
Science of Computer Programming 113(3),
pp. 223–235,
doi:10.1016/j.scico.2015.06.010.
G. Gössler & J.-B. Stefani (2016):
Fault Ascription in Concurrent Systems.
In: P. Ganty & M. Loreti: Proc. Trustworthy Global Computing - 10th International Symposium, TGC 2015,
LNCS 9533.
Springer,
pp. 79–94,
doi:10.1007/978-3-319-28766-9_6.
J. Y. Halpern (2000):
Axiomatizing Causal Reasoning.
J. Artif. Intell. Res. (JAIR) 12,
pp. 317–337,
doi:10.1613/jair.648.
J. Y. Halpern (2015):
A Modification of the Halpern-Pearl Definition of Causality.
In: Q. Yang & M. Wooldridge: Proc. Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015.
AAAI Press,
pp. 3022–3033.
J.Y. Halpern & C. Hitchcock (2011):
Actual causation and the art of modeling.
CoRR abs/1106.2652.
J.Y. Halpern & J. Pearl (2005):
Causes and Explanations: A Structural-Model Approach. Part I: Causes.
British Journal for the Philosophy of Science 56(4),
pp. 843–887,
doi:10.1093/bjps/axi147.
M. Hopkins & J. Pearl (2007):
Causality and Counterfactuals in the Situation Calculus.
J. Log. Comput. 17(5),
doi:10.1093/logcom/exm048.
B. Jacobs (2016):
Introduction to Coalgebra: Towards Mathematics of States and Observation.
Cambridge Tracts in Theoretical Computer Science 59.
Cambridge University Press,
doi:10.1017/CBO9781316823187.
M. Kuntz, F. Leitner-Fischer & S. Leue (2011):
From Probabilistic Counterexamples via Causality to Fault Trees.
In: F. Flammini, S. Bologna & V. Vittorini: SAFECOMP,
LNCS 6894.
Springer,
pp. 71–84,
doi:10.1007/978-3-642-24270-0_6.
R. Küsters, T. Truderung & A. Vogt (2010):
Accountability: definition and relationship to verifiability.
In: ACM Conference on Computer and Communications Security,
pp. 526–535,
doi:10.1145/1866307.1866366.
D. Le Métayer, M. Maarek, E. Mazza, M.-L. Potet, S. Frénot, V. Viet Triem Tong, N. Craipeau & R. Hardouin (2011):
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties.
Commun. ACM 54(4),
pp. 99–106,
doi:10.1145/1924421.1924444.
D. Lewis (1973):
Causation.
Journal of Philosophy 70,
doi:10.2307/2025310.
D. Lewis (2000):
Counterfactuals,
2nd edition.
Blackwell.
R. Neves & L. S. Barbosa (2016):
Hybrid Automata as Coalgebras,
pp. 385–402,
LNCS 9965.
Springer International Publishing,
doi:10.1007/978-3-319-46750-4_22.
M. Pajic, R. Mangharam, O. Sokolsky, D. Arney, J. Goldman & I. Lee (2014):
Model-Driven Safety Analysis of Closed-Loop Medical Systems.
IEEE Transactions on Industrial Informatics 10(1),
pp. 3–16,
doi:10.1109/TII.2012.2226594.
J. Pearl (2000):
Causality: Models, Reasoning, and Inference.
Cambridge University Press.
R. Reiter (1987):
A Theory of Diagnosis from First Principles.
Artif. Intell. 32(1),
pp. 57–95,
doi:10.1016/0004-3702(87)90062-2.
J.J.M.M. Rutten (2000):
Universal coalgebra: a theory of systems.
Theoretical Computer Science, vol. 249,
doi:10.1016/S0304-3975(00)00056-6.
Ana Sokolova (2011):
Probabilistic systems coalgebraically: A survey.
Theor. Comput. Sci. 412(38),
pp. 5095–5110,
doi:10.1016/j.tcs.2011.05.008.
P. Spirtes, C. N. Glymour & R. Scheines (2000):
Causation, Prediction, and Search.
MIT press.
P. Tabuada (2009):
Verification and Control of Hybrid Systems - A Symbolic Approach.
Springer,
doi:10.1007/978-1-4419-0224-5.
S. Wang, A. Ayoub, B. Kim, G. Gössler, O. Sokolsky & I. Lee (2013):
A Causality Analysis Framework for Component-based Real-time Systems.
In: A. Legay & S. Bensalem: Proc. Runtime Verification 2013,
LNCS 8174.
Springer,
pp. 285–303,
doi:10.1007/978-3-642-40787-1_17.
D.S. Weld & J. de Kleer (1990):
Readings in Qualitative Reasoning about Physical Systems, chapter 9: Causal Explanations of Behavior.
Morgan Kaufmann.
B. Weslake (2013):
A partial theory of actual causation.
https://philpapers.org/rec/WESAPT.