Nondeterminism and Boolean Operations in PDAs.

Detlef Wotschke

Published in: J. Comput. Syst. Sci. (1978)

Keyphrases

boolean operations
mobile devices
mobile phone
situation calculus
cellular phones
handheld devices
mobile agents
planning domains