Vitaliy Batusov

According to our database, Vitaliy Batusov authored at least 3 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

Hybrid temporal situation calculus.

Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

A Logical Semantics for PDDL+.

Vitaliy Batusov, Mikhail Soutchanski

Proceedings of the Twenty-Ninth International Conference on Automated Planning and Scheduling, 2019

2018

Situation Calculus Semantics for Actual Causality.

Vitaliy Batusov, Mikhail Soutchanski

Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018