On Formalizing Opportunism Based on Situation Calculus.

Jieting Luo John-Jules Ch. Meyer Frank Dignum

Published in: CARE/MFSC@AAMAS (2015)

Keyphrases

situation calculus
event calculus
action theories
initial state
fluent calculus
reasoning about actions
modal logic
reasoning tasks
blocks world
provably correct
logical language
agent programming
high level
concurrent actions