Login / Signup
On Procedure Recognition in the Situation Calculus.
Jorge A. Baier
Published in:
SCCC (2002)
Keyphrases
</>
situation calculus
event calculus
action theories
initial state
reasoning tasks
provably correct
modal logic
reasoning about actions
fluent calculus
logical language
concurrent actions
agent programming
web services
heuristic search
domain independent
sensing actions