A First Order Calculus for Temporal Knowledge.

Mira Balaban, Neil V. Murray

Browse the full ISMIS paper archive.