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