![](/img/cover-not-exists.png)
Artificial Intelligence Planning Systems || The Projection Problem in the Situation Calculus: A Soundness and Completeness Result, with an Application to Database Updates
Reiter, RaymondYear:
1992
Language:
english
DOI:
10.1016/b978-0-08-049944-4.50028-8
File:
PDF, 646 KB
english, 1992