Replacements in Non-Ground Answer-Set Programming.

Thomas Eiter Michael Fink Hans Tompits Patrick Traxler Stefan Woltran

Published in: KR (2006)

Keyphrases

answer set programming
logic programming
logic programs
answer sets
constraint logic programming
causal theories
reasoning tasks
stable model semantics
knowledge representation
definite clause
answer set programs
tree decomposition
meta level reasoning
general purpose
stable models
modulo theories