A Simple and Tractable Extension of Situation Calculus to Epistemic Logic.

Robert Demolombe, Maria del Pilar Pozos Parra

Browse the full ISMIS paper archive.