Representing and reasoning about changing spatial extensions of geographic features
This thesis presents a novel approach to representing and reasoning about geographic phenomena which can be interpreted based on changes affecting spatial extensions of geographic features. Of particular interest in this work are geographic features whose extensions can be described as 2-dimensional...
Main Author: | Calazans Campelo, Claudio Elizio |
---|---|
Other Authors: | Bennett, Brandon ; Dimitrova, Vania |
Published: |
University of Leeds
2013
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.605278 |
Similar Items
-
Specifying and reasoning about concurrent systems in logic
by: Gilbert, David Roger
Published: (1990) -
Animation manifolds for representing topological alteration
by: Southern, Richard
Published: (2008) -
Enhancement of case-based reasoning through informal argumentation, reasoning templates and numerical taxonomy
by: Silva, L. A. D. L.
Published: (2010) -
Towards the automation of mathematical reasoning
by: Brown, Frank Malloy
Published: (1978) -
Representing logics in type theory
by: Gardner, Philippa
Published: (1992)