Spatial voting games, relation algebra and RelView.

Rudolf Berghammer Agnieszka Rusinowska Harrie C. M. de Swart

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

relation algebra
spatial information
expressive power
spatial data
spatial and temporal
artificial intelligence
spatio temporal
theoretical framework
spatial databases
spatial relationships
formal logic
case study
incomplete information