"Belief revision and projection in the epistemic situation calculus."

Christoph Schwering, Gerhard Lakemeyer, Maurice Pagnucco (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics