A Glimpse of Answer Set Programming.

Christian Anger Kathrin Konczak Thomas Linke Torsten Schaub

Published in: Künstliche Intell. (2005)

Keyphrases

answer set programming
logic programs
logic programming
answer sets
reasoning tasks
causal theories
answer set programs
constraint logic programming
meta level reasoning
stable model semantics
knowledge representation
tree decomposition
haplotype inference
knowledge base
database systems
modulo theories