Extending the Range of Temporal Specifications of the Run-Time Event Calculus.

Periklis Mantenoglou, Alexander Artikis

Browse the full TIME paper archive.