A STIT-extension of ATL
Publication date
2006
Authors
Broersen, Jan
Herzig, A.
Troquard, N.
Editors
Fisher, M.
Advisors
Supervisors
DOI
Document Type
Part of book
Metadata
Show full item recordCollections
License
Abstract
Keywords
Citation
Broersen, J M, Herzig, A & Troquard, N 2006, A STIT-extension of ATL. in M Fisher (ed.), Proceedings Tenth European Conference on Logics in Artificial Intelligence (JELIA'06). Springer, pp. 69-81.