Lars Karlsson

Conditional progressive planning under uncertainty

Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Action and Change

Reasoning with Incomplete Initial Information and Nondeterminism in Situation Calculus