ACSEBUL: An Approach for the Construction of Spatial Entities Based on Unified Logic.

Renzhong Guo Changbin Yu Lin Li Zhigang Zhao Biao He

Published in: Trans. GIS (2016)

Keyphrases

spatial and temporal
spatial information
spatio temporal
space time
classical logic
modal logic
spatial distribution
neural network
spatial data
geographic information systems
asynchronous circuits
proof theory
database
formal theory
unified model
multi valued
spatial objects
databases