Login / Signup
The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression.
Raymond Reiter
Published in:
Artificial and Mathematical Theory of Computation (1991)
Keyphrases
</>
situation calculus
provably correct
event calculus
action theories
reasoning about actions
initial state
modal logic
concurrent actions
fluent calculus
reasoning tasks
sensing actions
blocks world
logical language
agent programming
logical theories
taxonomic reasoning