๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

On point-duration networks for temporal reasoning

โœ Scribed by I. Navarrete; A. Sattar; R. Wetprasit; R. Marin


Book ID
108306921
Publisher
Elsevier Science
Year
2002
Tongue
English
Weight
286 KB
Volume
140
Category
Article
ISSN
0004-3702

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


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