A topological transition based logic for the qualitative motion of objects.

Andr Trudel, Denis Gagn

Browse the full TIME paper archive.