Sets as Terms for Answer Set Programming.

Published in: Answer Set Programming (2001)

Keyphrases

answer set programming
logic programming
answer sets
logic programs
causal theories
answer set programs
stable model semantics
function symbols
meta level reasoning
constraint logic programming
reasoning tasks
natural language