Vitaliy Batusov

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2019

A Logical Semantics for PDDL+.

[BibT_eX]

[DOI]

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

Hybrid Temporal Situation Calculus.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2019

2017

Situation Calculus Semantics for Actual Causality.

[BibT_eX]

[DOI]

Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017