Hybrid temporal situation calculus.

Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski

Browse the full SAC paper archive.