Sciweavers

Share
TABLEAUX
2009
Springer
10 years 3 months ago
A Tableau-Based System for Spatial Reasoning about Directional Relations
Abstract. The management of qualitative spatial information is an important research area in computer science and AI. Modal logic provides a natural framework for the formalization...
Davide Bresolin, Angelo Montanari, Pietro Sala, Gu...

Book
1331views
11 years 8 months ago
Spatial Reasoning: Theory and Practice
"Spatial structures and spatial reasoning are essential to perception and cognition. Much day-to-day practical information is about what happens at certain spatial locations....
M. Aiello
books