Qualitative Spatial and Temporal Reasoning.
Starting with an updated description of Allen's calculus, the book proceeds with a description of the main qualitative calculi which have been developed over the last two decades. It describes the connection of complexity issues to geometric properties. Models of the formalisms are described us...
Κύριος συγγραφέας: | Ligozat, Gérard |
---|---|
Μορφή: | Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
London, UK :
ISTE ;
2012.
Hoboken, N.J. : Wiley, 2012. |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
An introduction to practical formal methods using temporal logic /
ανά: Fisher, Michael, 1962-
Έκδοση: (2011) -
In the light of logic /
ανά: Feferman, Solomon
Έκδοση: (1998) -
Spatio-temporal design : advances in efficient data acquisition /
Έκδοση: (2013) -
Exploring spatial scale in geography /
ανά: Lloyd, Christopher D.
Έκδοση: (2014) -
Logic, sets, and recursion /
ανά: Causey, Robert L.
Έκδοση: (1994)