Epistemic ATL with Perfect Recall, Past and Strategy Contexts
Résumé
no abstract
Communication Dans Un Congrès
Année : 2012
Catalin Dima : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01699944
Soumis le : vendredi 2 février 2018-22:52:03
Dernière modification le : vendredi 24 mars 2023-14:53:06
Citer
Dimitar P. Guelev, Catalin Dima. Epistemic ATL with Perfect Recall, Past and Strategy Contexts. Computational Logic in Multi-Agent Systems - 13th International Workshop, CLIMA XIII, Montpellier, France, August 27-28, 2012. Proceedings, 2012, Unknown, Unknown Region. pp.77--93, ⟨10.1007/978-3-642-32897-8_7⟩. ⟨hal-01699944⟩
30
Consultations
0
Téléchargements