Property Persistence in the Situation Calculus.

Ryan F. Kelly Adrian R. Pearce

Published in: IJCAI (2007)

Keyphrases

situation calculus
action theories
event calculus
initial state
concurrent actions
reasoning about actions
modal logic
logical language
blocks world
fluent calculus
reasoning tasks
provably correct
agent programming
taxonomic reasoning
action language
heuristic search
knowledge representation
multi agent