Definitions in Answer Set Programming: (Extended Abstract).
Selim T. ErdoganVladimir LifschitzPublished in: ICLP (2003)
Keyphrases
- extended abstract
- answer set programming
- logic programming
- logic programs
- answer sets
- reasoning tasks
- constraint logic programming
- stable model semantics
- tree decomposition
- answer set programs
- meta level reasoning
- stable models
- haplotype inference
- causal theories
- answer set semantics
- update semantics
- disjunctive logic programming
- orders of magnitude
- search algorithm
- qualitative spatial and temporal reasoning