Situation Calculus Semantics for Actual Causality. - Vitaliy Batusov; Mikhail Soutchanski (AAAI, 2018)

Hybrid Temporal Situation Calculus. - Vitaliy Batusov; Giuseppe De Giacomo; Mikhail Soutchanski (Canadian AI, 2019)

A Logical Semantics for PDDL+. - Vitaliy Batusov; Mikhail Soutchanski (ICAPS, 2019)