A STIT-extension of ATL

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings Tenth European Conference on Logics in Artificial Intelligence (JELIA'06)
Editors	M. Fisher
Publisher	Springer
Pages	69-81
Number of pages	13
Publication status	Published - 2006

BroersenHerzigTroquardJELIA2006

Access to Document

@inproceedings{601f709da11347e3acfe886034e8f9f7,

title = "A STIT-extension of ATL",

author = "J.M. Broersen and A. Herzig and N. Troquard",

note = "BroersenHerzigTroquardJELIA2006",

year = "2006",

language = "Undefined/Unknown",

pages = "69--81",

editor = "M. Fisher",

booktitle = "Proceedings Tenth European Conference on Logics in Artificial Intelligence (JELIA'06)",

publisher = "Springer",

}