The Design of the Seventh Answer Set Programming Competition.

Martin Gebser Marco Maratea Francesco Ricca

Published in: LPNMR (2017)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
answer set programs
artificial intelligence
constraint logic programming
database
databases
knowledge representation
general purpose
reasoning tasks