On the Foundations of Answer Set Programming.

Victor W. Marek Jeffrey B. Remmel

Published in: Answer Set Programming (2001)

Keyphrases

answer set programming
logic programs
answer sets
logic programming
constraint logic programming
reasoning tasks
answer set programs
meta level reasoning
haplotype inference
causal theories
artificial intelligence
stable model semantics
tree decomposition
stable models
database systems
background knowledge