A Tableau-Based System for Spatial Reasoning about Directional Relations.

Davide Bresolin, Angelo Montanari, Pietro Sala, Guido Sciavicco

Browse the full TABLEAUX paper archive.