c-ijcai-97-1420

Marcus Bjäreland and Lars Karlsson. Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action a nd Change with Nondeterminism. Proc. International Joint Conference on Artificial Intelligence, 1997, pp. 1420-1425