An axiomatization of ECTL.

Published in: J. Log. Comput. (2014)

Keyphrases

situation calculus
general theory
image processing
complete axiomatization
cooperative
pattern recognition
image analysis
expected utility
utility theory