The Seventh Answer Set Programming Competition: Design and Results.

Martin Gebser Marco Maratea Francesco Ricca

Published in: CoRR (2019)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
propositional logic