Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming.
Chitta BaralJuraj DzifcakHiro TakahashiPublished in: ICLP (2006)
Keyphrases
- answer set programming
- logic programming
- logic programs
- answer sets
- constraint logic programming
- reasoning tasks
- answer set programs
- causal theories
- derivation rules
- stable model semantics
- tree decomposition
- meta level reasoning
- stable models
- disjunctive logic programming
- haplotype inference
- database
- constraint satisfaction
- expert systems