Efficient Reasoning in Multiagent Epistemic Logics.

Gerhard Lakemeyer, Yves Lesprance

Browse the full ECAI paper archive.