Modeling and Reasoning about NTU Games via Answer Set Programming

Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri. Modeling and Reasoning about NTU Games via Answer Set Programming. In Subbarao Kambhampati, editor, Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, New York, NY, USA, 9-15 July 2016. pages 38-45, IJCAI/AAAI Press, 2016. [doi]

Abstract

Abstract is missing.