Epistemic ATL with Perfect Recall, Past and Strategy Contexts - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

Epistemic ATL with Perfect Recall, Past and Strategy Contexts

Dimitar P. Guelev
  • Fonction : Auteur

Résumé

no abstract

Dates et versions

hal-01699944 , version 1 (02-02-2018)

Identifiants

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⟩

Collections

CNRS LACL UPEC
23 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More