Preliminary Results on Modeling Interdependent Scheduling Games via Answer Set Programming.

Giovanni Amendola

Published in: RiCeRcA@AI*IA (2018)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
constraint logic programming
stable model semantics
causal theories
answer set programs
disjunctive logic programming
stable models
machine learning
general purpose
update semantics
haplotype inference
meta level reasoning