AI helps you reading Science

AI generates interpretation videos

AI extracts and analyses the key points of the paper to generate videos automatically

Go Generating

AI Traceability

AI parses the academic lineage of this thesis

Generate MRT

Combining spatial and temporal logics: expressiveness vs. complexity

Journal of Artificial Intelligence Research, no. 1 (2011): 167-243

Cited: 94|Views48

Full Text

View via Publisher

Other Links

dblp.uni-trier.de dl.acm.org academic.microsoft.com arxiv.org

Bibtex

Keywords

various combinationtemporal primitivetemporal logicpt lspatio-temporal formalismsMore(7+)

Abstract

In this paper, we construct and investigate a hierarchy of spatio-temporal formalisms that result from various combinations of propositional spatial and temporal logics such as the propositional temporal logic PT L, the spatial logics RCC-8, BRCC-8, S4u and their fragments. The obtained results give a clear picture of the trade-off betwee...More

Code:

Data:

Full Text

PPT (Upload PPT)

Similar

Reference

Cited

Author

[0]

[0]

[0]

[0]

Michael Zakharyaschev

[0]

Your rating :

No Ratings