Sign in
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