@article(BacchusHL99,
 author       = {Fahiem Bacchus and Joseph Y. Halpern and Hector J. Levesque},
 year         = {1999},
 title        = {Reasoning about Noisy Sensors and Effectors in the Situation Calculus},
 journal      = {Artificial Intelligence},
 volume       = {111},
 number       = {1--2},
 pages        = {171--208},
 doi          = {10.1016/S0004-3702(99)00031-4},
)
@inproceedings(BatusovS17,
 author       = {Vitaliy Batusov and Mikhail Soutchanski},
 year         = {2017},
 title        = {Situation Calculus Semantics for Actual Causality},
 booktitle    = {Proceedings of the 13th Intl. Symposium on Commonsense Reasoning, {COMMONSENSE}},
)
@inproceedings(BatusovS18,
 author       = {Vitaliy Batusov and Mikhail Soutchanski},
 year         = {2018},
 title        = {Situation Calculus Semantics for Actual Causality},
 booktitle    = {Proceedings of the Thirty-Second {AAAI} Conference on Artificial Intelligence},
 pages        = {1744--1752},
)
@article(BeckersV18,
 author       = {Sander Beckers and Joost Vennekens},
 year         = {2018},
 title        = {A Principled Approach to Defining Actual Causation},
 journal      = {Synthese},
 volume       = {195},
 number       = {2},
 pages        = {835--862},
 doi          = {10.1080/00048402.2013.788045},
)
@article(BelleL18,
 author       = {Vaishak Belle and Hector J. Levesque},
 year         = {2018},
 title        = {{Reasoning about Discrete and Continuous Noisy Sensors and Effectors in Dynamical Systems}},
 journal      = {Artificial Intelligence},
 volume       = {262},
 pages        = {189--221},
 doi          = {10.1016/j.artint.2018.06.003},
)
@inproceedings(BoutilierRP01,
 author       = {Craig Boutilier and Raymond Reiter and Bob Price},
 year         = {2001},
 title        = {Symbolic Dynamic Programming for First-Order MDPs},
 booktitle    = {Proceedings of the Seventeenth Intl. Joint Conference on Artificial Intelligence, {IJCAI}},
 pages        = {690--700},
)
@inproceedings(ChocklerFKL15,
 author       = {Hana Chockler and Norman E. Fenton and Jeroen Keppens and David A. Lagnado},
 year         = {2015},
 title        = {Causal Analysis for Attributing Responsibility in Legal Cases},
 booktitle    = {Proceedings of the 15th Intl. Conference on Artificial Intelligence and Law, {ICAIL}},
 pages        = {33--42},
 doi          = {10.1145/2746090.2746102},
)
@article(EiterL02,
 author       = {Thomas Eiter and Thomas Lukasiewicz},
 year         = {2002},
 title        = {Complexity Results for Structure-Based Causality},
 journal      = {Artificial Intelligence},
 volume       = {142},
 number       = {1},
 pages        = {53--89},
 doi          = {10.1016/S0004-3702(02)00271-0},
)
@article(GlymourDGERSSTZ10,
 author       = {Clark Glymour and David Danks and Bruce Glymour and Frederick Eberhardt and Joseph Ramsey and Richard Scheines and Peter Spirtes and Choh Man Teng and Jiji Zhang},
 year         = {2010},
 title        = {Actual Causation: A Stone Soup Essay},
 journal      = {Synthese},
 volume       = {175},
 number       = {2},
 pages        = {169--192},
 doi          = {10.1007/BF00413826},
)
@article(Gossler15,
 author       = {G{\"o}{\ss}ler, Gregor and {Le M{\'e}tayer}, Daniel},
 year         = {2015},
 title        = {{A General Framework for Blaming in Component-Based Systems}},
 journal      = {{Science of Computer Programming}},
 volume       = {113, Part 3},
 doi          = {10.1016/j.scico.2015.06.010},
)
@inproceedings(GosslerSS17,
 author       = {G{\"{o}}{\ss}ler, Gregor and Oleg Sokolsky and Jean{-}Bernard Stefani},
 year         = {2017},
 title        = {Counterfactual Causality from First Principles?},
 booktitle    = {Proceedings 2nd Intl. Workshop on Causal Reasoning for Embedded and safety-critical Systems Technologies, CREST@ETAPS 2017},
 pages        = {47--53},
 doi          = {10.4204/EPTCS.259.5},
)
@article(Halpern00,
 author       = {Joseph Y. Halpern},
 year         = {2000},
 title        = {Axiomatizing Causal Reasoning},
 journal      = {J. Artificial Intelligence Research},
 volume       = {12},
 pages        = {317--337},
 doi          = {10.1613/jair.648},
)
@inproceedings(Halpern15,
 author       = {Joseph Y. Halpern},
 year         = {2015},
 title        = {A Modification of the Halpern-Pearl Definition of Causality},
 booktitle    = {Proceedings of the Twenty-Fourth Intl. Joint Conference on Artificial Intelligence, {IJCAI}},
 pages        = {3022--3033},
)
@book(Halpern16,
 author       = {Joseph Y. Halpern},
 year         = {2016},
 title        = {Actual Causality},
 publisher    = {The MIT Press},
 doi          = {10.7551/mitpress/10809.001.0001},
)
@article(HalpernP05,
 author       = {Joseph Y. Halpern and Judea Pearl},
 year         = {2005},
 title        = {Causes and Explanations: A Structural-Model Approach. Part I: Causes},
 journal      = {The British Journal for the Philosophy of Science},
 volume       = {56},
 number       = {4},
 pages        = {843--887},
 doi          = {10.1093/bjps/axi148},
)
@book(Hintikka62,
 author       = {Jaakko Hintikka},
 year         = {1962},
 title        = {Knowledge and Belief},
 publisher    = {Cornell University Press},
 address      = {Ithaca, NY, USA},
)
@phdthesis(Hopkins05,
 author       = {Mark Hopkins},
 year         = {2005},
 title        = {The Actual Cause: From Intuition to Automation},
 school       = {Univ. of California L.A.},
)
@article(HopkinsP07,
 author       = {Mark Hopkins and Judea Pearl},
 year         = {2007},
 title        = {Causality and Counterfactuals in the Situation Calculus},
 journal      = {J. Log. Comput.},
 volume       = {17},
 number       = {5},
 pages        = {939--953},
 doi          = {10.1093/logcom/exm048},
)
@inproceedings(KhanL10,
 author       = {Shakil M. Khan and Yves Lesp{\'{e}}rance},
 year         = {2010},
 title        = {A Logical Framework for Prioritized Goal Change},
 booktitle    = {9th Intl. Conference on Autonomous Agents and Multiagent Systems {(AAMAS}), Volume 1-3},
 pages        = {283--290},
)
@inproceedings(KhanS18,
 author       = {Shakil M. Khan and Mikhail Soutchanski},
 year         = {2018},
 title        = {Diagnosis as Computing Causal Chains from Event Traces},
 booktitle    = {Proceedings of the AAAI Fall Symposium: Integrating Planning, Diagnosis, and Causal Reasoning (SIP-18)},
 publisher    = {AAAI Press},
)
@article(Lesperance03,
 author       = {Yves Lesp{\'{e}}rance},
 year         = {2003},
 title        = {On the Epistemic Feasibility of Plans in Multiagent Systems Specifications},
 journal      = {Logic Journal of the {IGPL}},
 volume       = {11},
 number       = {2},
 pages        = {161--178},
 doi          = {10.1093/jigpal/11.2.161},
)
@inproceedings(Lev96,
 author       = {Hector J. Levesque},
 year         = {1996},
 title        = {What Is Planning in the Presence of Sensing?},
 booktitle    = {Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, {AAAI}, {IAAI}, Volume 2},
 pages        = {1139--1146},
)
@article(McCarthyH69,
 author       = {John McCarthy and Patrick J. Hayes},
 year         = {1969},
 title        = {Some Philosophical Problems from the Standpoint of Artificial Intelligence},
 journal      = {Machine Intelligence},
 volume       = {4},
 pages        = {463--502},
)
@inproceedings(Moore85,
 author       = {Robert C. Moore},
 year         = {1985},
 title        = {A Formal Theory of Knowledge and Action},
 booktitle    = {Formal Theories of the Commonsense World},
 publisher    = {Ablex},
 pages        = {319--358},
)
@techreport(Pearl98,
 author       = {Judea Pearl},
 year         = {1998},
 title        = {On the Definition of Actual Cause},
 type         = {Technical Report},
 institution  = {Univ. of California L.A.},
)
@book(Pearl00,
 author       = {Judea Pearl},
 year         = {2000},
 title        = {Causality: Models, Reasoning, and Inference},
 publisher    = {Cambridge University Press},
)
@book(Reiter01,
 author       = {Raymond Reiter},
 year         = {2001},
 title        = {Knowledge in Action. Logical Foundations for Specifying and Implementing Dynamical Systems},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/4074.001.0001},
)
@article(SchLev03,
 author       = {Richard B. Scherl and Hector J. Levesque},
 year         = {2003},
 title        = {Knowledge, Action, and the Frame Problem},
 journal      = {Artificial Intelligence},
 volume       = {144},
 number       = {1-2},
 pages        = {1--39},
 doi          = {10.1016/S0004-3702(02)00365-X},
)
@phdthesis(Shapiro05,
 author       = {Steven Shapiro},
 year         = {2005},
 title        = {Specifying and Verifying Multiagent Systems Using CASL},
 school       = {Dept. of Computer Science, Univ. of Toronto},
 address      = {Toronto, Ontario, Canada},
)
@inproceedings(Wang15,
 author       = {Shaohui Wang and Yoann Geoffroy and G{\"o}{\ss}ler, Gregor and Oleg Sokolsky and Insup Lee},
 year         = {2015},
 title        = {{A Hybrid Approach to Causality Analysis}},
 booktitle    = {{RV 2015 -- 6th Intl. Conference on Runtime Verification}},
 series       = {LNCS},
 volume       = {9333},
)
@article(Weslake15,
 author       = {Brad Weslake},
 year         = {2015},
 title        = {A Partial Theory of Actual Causation},
 journal      = {British Journal for the Philosophy of Science},
)
@article(Williamson06,
 author       = {Jon Williamson},
 year         = {2006},
 title        = {Dispositional versus Epistemic Causality},
 journal      = {Minds and Machines},
 volume       = {16},
 number       = {3},
 pages        = {259--276},
 doi          = {10.1007/s11023-006-9033-3},
)