Towards the Assessment of Logics for Concurrent Actions.

Published in: FAPR (1996)

Keyphrases

concurrent actions
situation calculus
planning problems
modal logic
action language
description language
expressive power
indirect effects
learning algorithm
query processing
domain specific
classical logic
external events