Epistemic ATL with Perfect Recall, Past and Strategy Contexts
From MaRDI portal
Publication:2915043
DOI10.1007/978-3-642-32897-8_7zbMath1361.68232OpenAlexW170628993MaRDI QIDQ2915043
Dimitar P. Guelev, Catalin Dima
Publication date: 21 September 2012
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32897-8_7
Cooperative games (91A12) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)
Related Items (2)
Dependences in strategy logic ⋮ Approximate verification of strategic abilities under imperfect information
This page was built for publication: Epistemic ATL with Perfect Recall, Past and Strategy Contexts