Login / Signup
Answer Set Programming in a Nutshell.
Thomas Eiter
Published in:
WWV (2010)
Keyphrases
</>
answer set programming
logic programs
logic programming
answer sets
constraint logic programming
reasoning tasks
causal theories
meta level reasoning
answer set programs
knowledge representation
stable models
stable model semantics
haplotype inference
disjunctive logic programming
qualitative spatial and temporal reasoning