Efficient reasoning in multiagent epistemic logics (2012)

by Gerhard Lakemeyer, Yves Lespérance
Venue:In ECAI 2012 - 20th European Conference on Artificial Intelligence