Modelling Dynamic Spatial Systems in the Situation Calculus.

Mehul Bhatt Seng W. Loke

Published in: Spatial Cogn. Comput. (2008)

Keyphrases

situation calculus
event calculus
distributed systems
dynamic environments
spatial information
agent systems
action theories
blocks world