TY  - RPRT
TI  - Hybrid Temporal Situation Calculus
AU  - Vitaliy Batusov
AU  - Giuseppe De Giacomo
AU  - Mikhail Soutchanski
PY  - 2018
UR  - https://arxiv.org/abs/1807.04861
ID  - 1807.04861
ER  -