1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  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.
  7. 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.
  8. 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.
  9. D. Galles & J. Pearl (1998): An Axiomatic Characterization of Causal Counterfactuals. Foundations of Science 3, pp. 151–182, doi:10.1023/A:1009602825894.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. J. Y. Halpern (2000): Axiomatizing Causal Reasoning. J. Artif. Intell. Res. (JAIR) 12, pp. 317–337, doi:10.1613/jair.648.
  15. 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.
  16. J.Y. Halpern & C. Hitchcock (2011): Actual causation and the art of modeling. CoRR abs/1106.2652.
  17. 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.
  18. M. Hopkins & J. Pearl (2007): Causality and Counterfactuals in the Situation Calculus. J. Log. Comput. 17(5), doi:10.1093/logcom/exm048.
  19. D. Hume (1739): A Treatise of Human Nature, doi:10.1093/oseo/instance.00046221.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. D. Lewis (1973): Causation. Journal of Philosophy 70, doi:10.2307/2025310.
  25. D. Lewis (1986): Philosophical Papers. Oxford University Press, doi:10.1093/0195032047.001.0001.
  26. D. Lewis (2000): Counterfactuals, 2nd edition. Blackwell.
  27. 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.
  28. 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.
  29. J. Pearl (2000): Causality: Models, Reasoning, and Inference. Cambridge University Press.
  30. 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.
  31. 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.
  32. Ana Sokolova (2011): Probabilistic systems coalgebraically: A survey. Theor. Comput. Sci. 412(38), pp. 5095–5110, doi:10.1016/j.tcs.2011.05.008.
  33. P. Spirtes, C. N. Glymour & R. Scheines (2000): Causation, Prediction, and Search. MIT press.
  34. P. Tabuada (2009): Verification and Control of Hybrid Systems - A Symbolic Approach. Springer, doi:10.1007/978-1-4419-0224-5.
  35. 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.
  36. D.S. Weld & J. de Kleer (1990): Readings in Qualitative Reasoning about Physical Systems, chapter 9: Causal Explanations of Behavior. Morgan Kaufmann.
  37. B. Weslake (2013): A partial theory of actual causation.

Comments and questions to:
For website issues: