Reasoning About Places, Times, and Actions in the Presence of Mobility.

C. Donald Wilcox Gruia-Catalin Roman

Published in: IEEE Trans. Software Eng. (1996)

Keyphrases

concurrent actions
situation calculus
mobile networks
qualitative reasoning
mobile agents
goal directed
formal theory
database
decision theoretic
multiple agents
initial state
rational agents
mobility patterns