Henning Schnoor. Quantified Epistemic and Probabilistic ATL. In Joaquim Filipe, Ana L. N. Fred, editors, ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18 February, 2013. pages 14-23, SciTePress, 2013.
@inproceedings{Schnoor13,
title = {Quantified Epistemic and Probabilistic ATL},
author = {Henning Schnoor},
year = {2013},
researchr = {https://researchr.org/publication/Schnoor13},
cites = {0},
citedby = {0},
pages = {14-23},
booktitle = {ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, Volume 2, Barcelona, Spain, 15-18 February, 2013},
editor = {Joaquim Filipe and Ana L. N. Fred},
publisher = {SciTePress},
isbn = {978-989-8565-39-6},
}