Vitaliy Batusov

Publication Activity (10 Years)

Years Active: 2017-2021
Publications (10 Years): 7

Top Topics

Provably Correct

Concurrent Actions

Logical Language

Top Venues

Canadian Conference on AI

Publications

Vitaliy Batusov, Mikhail Soutchanski
A Logical Semantics for PDDL+. CoRR (2021)
Vitaliy Batusov, Mikhail Soutchanski
A Logical Semantics for PDDL+. ICAPS (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid temporal situation calculus. SAC (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid Temporal Situation Calculus. Canadian Conference on AI (2019)
Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski
Hybrid Temporal Situation Calculus. CoRR (2018)
Vitaliy Batusov, Mikhail Soutchanski
Situation Calculus Semantics for Actual Causality. AAAI (2018)
Vitaliy Batusov, Mikhail Soutchanski
Situation Calculus Semantics for Actual Causality. COMMONSENSE (2017)