Login / Signup
Automatic Verification of Liveness Properties in the Situation Calculus.
Jian Li
Yongmei Liu
Published in:
AAAI (2020)
Keyphrases
</>
situation calculus
action theories
event calculus
initial state
provably correct
reasoning about actions
fluent calculus
concurrent actions
reasoning tasks
blocks world
modal logic
logical language
universally quantified
finite state
agent programming
action language
artificial intelligence