Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method.

Michael Sioutis, Jean-Franois Condotta, Yakoub Salhi, Bertrand Mazure

Browse the full TABLEAUX paper archive.