2 papers
cs.AI1997
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
T. Drakengren, P. Jonsson
This paper combines two important directions of research in temporal resoning: that of finding maximal tractable subclasses of Allen's interval algebra, and that of reasoning with…
cs.AI1997
A Complete Classification of Tractability in RCC-5
P. Jonsson, T. Drakengren
We investigate the computational properties of the spatial algebra RCC-5 which is a restricted version of the RCC framework for spatial reasoning. The satisfiability problem for RC…