Explanation Generation over Temporal Interval Algebra
Keyword(s):
Temporal interval algebra has generated strong interest for both theoretical and practical reasons. All its Maximal Tractable Subalgebras (MTS) have been identified. Now is the time to make the transition toward their practical applications. In this chapter, the authors have proposed a formalism on how to classify an input temporal network in one of these MTSs or decide its intractability. They have also proposed a linear algorithm for checking consistency when the input belongs to one of the seventeen MTSs, and for finding the constraints responsible for inconsistency in case the network is unsatisfiable.
Keyword(s):
1981 ◽
Vol 39
◽
pp. 162-163
1984 ◽
Vol 42
◽
pp. 624-625
1988 ◽
Vol 46
◽
pp. 880-881
1987 ◽
Vol 45
◽
pp. 534-537
◽
1992 ◽
Vol 50
(1)
◽
pp. 256-257
1985 ◽
Vol 43
◽
pp. 134-135
Keyword(s):