IDA Dept. of Computer and Information science, Linköping University

IDA Technical Reports: abstract

Generated: Mon, 20 Oct 2014 10:05:29

Drakengren, T. and Jonsson, P. (1996). Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time. Technical Report LiTH-IDA-R-96-26, Department of Computer and Information Science, Linköping University, Sweden. (bibtex),

Abstract: 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 metric temporal information. Eight new maximal tractable subclasses of Allen's interval algebra are presented, some of them subsuming previously reported tractable algebras. The algebras allow for metric temporal constraints on interval starting or ending points, using the recent framework of Horn DLR's. Two of the algebras can express the notion of sequentiality between intervals, being the first such algebras admitting both qualitative and metric time.

Goto (at Linköping University): CS Dept TR Overview