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...
Main Author: | Ligozat, Gérard |
---|---|
Format: | eBook |
Language: | English |
Published: |
London, UK :
ISTE ;
2012.
Hoboken, N.J. : Wiley, 2012. |
Subjects: | |
Online Access: | Full Text via HEAL-Link |
Similar Items
-
An introduction to practical formal methods using temporal logic /
by: Fisher, Michael, 1962-
Published: (2011) -
In the light of logic /
by: Feferman, Solomon
Published: (1998) -
Spatio-temporal design : advances in efficient data acquisition /
Published: (2013) -
Exploring spatial scale in geography /
by: Lloyd, Christopher D.
Published: (2014) -
Logic, sets, and recursion /
by: Causey, Robert L.
Published: (1994)