Open answer set programming with guarded programs.
Stijn HeymansDavy Van NieuwenborghDirk VermeirPublished in: ACM Trans. Comput. Log. (2008)
Keyphrases
- first order logic
- answer set programming
- answer sets
- stable model semantics
- function symbols
- answer set programs
- logic programs
- knowledge representation
- stable models
- logic programming
- answer set semantics
- declarative programming
- prolog programs
- constraint logic programming
- fixpoint
- reasoning tasks
- causal theories
- tree decomposition
- update semantics
- haplotype inference
- high level