Dongmo Zhang. A Logic for Reasoning About Game Descriptions. In Tanja Mitrovic, Bing Xue 0001, Xiaodong Li 0001, editors, AI 2018: Advances in Artificial Intelligence - 31st Australasian Joint Conference, Wellington, New Zealand, December 11-14, 2018, Proceedings. Volume 11320 of Lecture Notes in Computer Science, pages 38-50, Springer, 2018. [doi]
Abstract is missing.