Task Modelling Using Situation Calculus.

Martin Randles David England A. Taleb-Bendiab

Published in: TAMODIA (2009)

Keyphrases

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