e CIG: Conference Papers


Conference Papers

Author:Bulling, Nils and Jamroga, Wojciech
Title:Alternating Epistemic Mu-Calculus
Booktitle:Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)
Year:2011
Pages:109-114
BibTeX-Code:
@inproceedings{BullingJamroga11mu-IJCAI,
author={Bulling, Nils and Jamroga, Wojciech},
title={Alternating Epistemic Mu-Calculus},
booktitle={Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI)},
year={2011},
pages={109-114},
}


Back to summary
 

Kontakt  Suche  Sitemap  Data Privacy  Imprint
© TU Clausthal 2019