Login / Signup
What are the Limitations of the Situation Calculus?
Michael Gelfond
Vladimir Lifschitz
Arkady Rabinov
Published in:
Automated Reasoning: Essays in Honor of Woody Bledsoe (1991)
Keyphrases
</>
situation calculus
event calculus
action theories
initial state
provably correct
blocks world
reasoning tasks
fluent calculus
reasoning about actions
agent programming
indirect effects
concurrent actions
taxonomic reasoning
logical language
modal logic
action language