Fundamenta Informaticae > 2020 > Vol. 174, nr 2 > 185--199
Source
Abstract
Identifiers
journal ISSN : | 0169-2968 |
journal e-ISSN : | 1875-8681 |
DOI | 10.3233/FI-2020-1938 |
Authors
Keywords
Additional information
Publisher
Fields of science
Bibliography
-
[1] Alur R, Henzinger TA. Logics and models of real time: A survey. In: J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (Eds.), Real-Time: Theory in Practice: REX Workshop Mook, The Netherlands, June 3-7, 1991 Proceedings, Springer Berlin Heidelberg, 1992 pp. 74-106. doi:10.1007/BFb0031988.
-
[2] Du H, Alechina N. Qualitative Spatial Logics for Buffered Geometries, Journal of Artificial Intelligence Research, 2016 (56):693-745. doi:10.1613/jair.5140.
-
[3] Du H, Alechina N, Stock K, Jackson M. The Logic of NEAR and FAR, Spatial Information Theory - 11th International Conference, COSIT 2013, Scarborough, UK, 2013 pp. 475-494. doi:10.1007/978-3-319-01790-7_26.