Towards A Formal Model of Opportunism Based on Situation Calculus.
Jieting LuoFrank DignumJohn-Jules Ch. MeyerPublished in: MATES (2015)
Keyphrases
- formal model
- situation calculus
- event calculus
- action theories
- initial state
- modal logic
- reasoning tasks
- reasoning about actions
- fluent calculus
- provably correct
- blocks world
- formal models
- concurrent actions
- security properties
- agent programming
- logical language
- indirect effects
- security patterns
- sensing actions
- logical theories
- web services