---
title: "Modeling and Reasoning about NTU Games via Answer Set Programming"
authors:
  - "Giovanni Amendola"
  - "Gianluigi Greco"
  - "Nicola Leone"
  - "Pierfrancesco Veltri"
doi: ""
url: "https://ijcai.org/proceedings/2016/13"
pdf: "https://ijcai.org/proceedings/2016/0013.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "38-44"
track: ""
keywords:
---

# Modeling and Reasoning about NTU Games via Answer Set Programming

Giovanni Amendola, Gianluigi Greco, Nicola Leone, Pierfrancesco Veltri

*Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence*, pages 38-44.

## 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.