On the Progression of Situation Calculus Universal Theories with Constants.

Marcelo Arenas Jorge A. Baier Juan S. Navarro Sebastian Sardiña

Published in: KR (2018)

Keyphrases

partially ordered
situation calculus
action theories
event calculus
modal operators
logical theories
initial state
reasoning about actions
reasoning tasks
modal logic
concurrent actions
logical language
provably correct
fluent calculus
action language
indirect effects
sensing actions
agent programming