Semantics for a useful fragment of the situation calculus.

Gerhard Lakemeyer, Hector J. Levesque

Browse the full IJCAI paper archive.