The Design of the Sixth Answer Set Programming Competition - - Report -.

Martin Gebser Marco Maratea Francesco Ricca

Published in: LPNMR (2015)

Keyphrases

answer set programming
logic programs
answer sets
genetic algorithm
software engineering
logic programming
constraint logic programming
high level
branch and bound algorithm
qualitative spatial and temporal reasoning
meta level reasoning