Temporal Specification Optimisation for the Event Calculus.

Periklis Mantenoglou, Alexander Artikis

Browse the full AAAI paper archive.