Modeling and Reasoning about NTU Games via Answer Set Programming.

Giovanni Amendola Gianluigi Greco Nicola Leone Pierfrancesco Veltri

Published in: IJCAI (2016)

Keyphrases

answer set programming
logic programming
logic programs
answer sets
constraint logic programming
answer set programs
reasoning tasks
causal theories
stable models
formal theory