Situation Calculus Semantics for Actual Causality.

Vitaliy Batusov, Mikhail Soutchanski

Browse the full AAAI paper archive.