A Semantic Account of Iterated Belief Revision in the Situation Calculus.

Christoph Schwering, Gerhard Lakemeyer

Browse the full ECAI paper archive.