Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus.

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco

Browse the full IJCAI paper archive.