Point algebras for temporal reasoning: A
โ
Mathias Broxvall; Peter Jonsson
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 447 KB
We investigate the computational complexity of temporal reasoning in different time models such as totally-ordered, partially-ordered and branching time. Our main result concerns the satisfiability problem for point algebras and point algebras extended with disjunctions-for these problems, we identi