Hybrid Temporal Situation Calculus.

Vitaliy Batusov, Giuseppe De Giacomo, Mikhail Soutchanski

Browse the full AI paper archive.