Login / Signup
Design and results of the Fifth Answer Set Programming Competition.
Francesco Calimeri
Martin Gebser
Marco Maratea
Francesco Ricca
Published in:
Artif. Intell. (2016)
Keyphrases
</>
answer set programming
logic programs
answer sets
artificial intelligence
logic programming
reasoning tasks
machine learning
data model
tree decomposition
constraint logic programming