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

A Logical Semantics for PDDL+.

Vitaliy Batusov, Mikhail Soutchanski

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

Hybrid Temporal Situation Calculus.

Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski

Proceedings of the Advances in Artificial Intelligence, 2019

2018

Situation Calculus Semantics for Actual Causality.

Vitaliy Batusov, Mikhail Soutchanski

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