The Design of the Fifth Answer Set Programming Competition.

Francesco Calimeri Martin Gebser Marco Maratea Francesco Ricca

Published in: CoRR (2014)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
disjunctive logic programming
causal theories
machine learning
expert systems
reasoning tasks