![](/img/cover-not-exists.png)
Artificial and Mathematical Theory of Computation || The Frame Problem in the Situation Calculus: A Simple Solution (Sometimes) and a Completeness Result for Goal Regression
Reiter, RaymondYear:
1991
Language:
english
DOI:
10.1016/B978-0-12-450010-5.50026-8
File:
PDF, 966 KB
english, 1991