A Decidable Spatial Logic with Cone-Shaped Cardinal Directions.

Angelo Montanari, Gabriele Puppis, Pietro Sala

Browse the full CSL paper archive.