Reachability and Dependency Calculi: Reasoning in Network Algebras.

Alexander Scivos

Published in: Spatial Cognition (2006)

Keyphrases

spatial reasoning
computer networks
reasoning problems
complex networks
network structure
communication networks
network model
artificial neural networks
wireless sensor networks
peer to peer
network traffic
consistency checking
qualitative spatial reasoning
maximal tractable