A Complete Axiomatic System for a Process-Based Spatial Logic.

Radu Mardare Alberto Policriti

Published in: MFCS (2008)

Keyphrases

spatio temporal
spatial information
data sets
logic programming
databases
neural network
genetic algorithm
learning algorithm
space time
process model
spatial distribution
asynchronous circuits