Symbolic Realisation of Epistemic Processes.

Rolf Hennicker, Alexander Knapp, Martin Wirsing

Browse the full LPAR paper archive.