Rule-based reasoning about qualitative spatiotemporal relations.

Clemens Holzmann

Browse the full Middleware paper archive.