Solving hard qualitative temporal reason
β
Bernhard Nebel
π
Article
π
1997
π
Springer US
π
English
β 899 KB
While the worst-case computational properties of Allen's calculus for qualitative temporal reasoning have been analyzed quite extensively, the determination of the empirical efficiency of algorithms for solving the consistency problem in this calculus has received only little research attention. In