Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time
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 DLRs. Two of the algebras can express the notion of sequentiality between intervals, being the first such algebras admitting both qualitative and metric time.
Cite
Text
Drakengren and Jonsson. "Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time." Journal of Artificial Intelligence Research, 1997. doi:10.1613/JAIR.340Markdown
[Drakengren and Jonsson. "Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time." Journal of Artificial Intelligence Research, 1997.](https://mlanthology.org/jair/1997/drakengren1997jair-eight/) doi:10.1613/JAIR.340BibTeX
@article{drakengren1997jair-eight,
title = {{Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time}},
author = {Drakengren, Thomas and Jonsson, Peter},
journal = {Journal of Artificial Intelligence Research},
year = {1997},
pages = {25-45},
doi = {10.1613/JAIR.340},
volume = {7},
url = {https://mlanthology.org/jair/1997/drakengren1997jair-eight/}
}