{"type":"ScholarlyArticle","title":"Modeling and Reasoning about NTU Games via Answer Set Programming","authors":[{"name":"Giovanni Amendola","slug":"giovanni-amendola","given":"Giovanni","family":"Amendola","affiliation":""},{"name":"Gianluigi Greco","slug":"gianluigi-greco","given":"Gianluigi","family":"Greco","affiliation":""},{"name":"Nicola Leone","slug":"nicola-leone","given":"Nicola","family":"Leone","affiliation":""},{"name":"Pierfrancesco Veltri","slug":"pierfrancesco-veltri","given":"Pierfrancesco","family":"Veltri","affiliation":""}],"abstract":"A compact representation for non-transferable utility games founding on answer set programming is proposed. The representation is fully expressive, in that it can capture all games defined over a finite set of alternatives. Moreover, due to the knowledge representation capabilities of answer set programs, it can easily accommodate the definition of games within a wide range of application domains, ranging from scheduling, to routing and planning, just to name a few. The computational complexity of the proposed framework is studied, in particular, by focusing on the core as the prototypical solution concept. A system supporting the basic reasoning tasks arising therein is also made available, and results of experimental activity are discussed.","doi":null,"url":"https://ijcai.org/proceedings/2016/13","pdf":"https://ijcai.org/proceedings/2016/0013.pdf","markdown":"https://ijcai.org/proceedings/2016/13.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/13","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":13,"pages":{"first":38,"last":44},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}