Efficient Reasoning in Multiagent Epistemic Logics

Cite this paper

@inproceedings{Lakemeyer2012EfficientRI, title={Efficient Reasoning in Multiagent Epistemic Logics}, author={Gerhard Lakemeyer and Yves Lesp{\'e}rance}, booktitle={ECAI}, year={2012} }