The third open Answer Set Programming competition

Francesco Calimeri Giovambattista Ianni Francesco Ricca

Published in: CoRR (2012)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
constraint logic programming
stable model semantics
causal theories
meta level reasoning
knowledge representation
answer set programs
declarative programming
haplotype inference
qualitative spatial and temporal reasoning