When you must forget: Beyond strong persistence when forgetting in answer set programming.
Ricardo GonçalvesMatthias KnorrJoão LeiteStefan WoltranPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- answer set programming
- answer set programs
- logic programs
- answer sets
- logic programming
- reasoning tasks
- constraint logic programming
- causal theories
- meta level reasoning
- haplotype inference
- stable models
- artificial intelligence
- disjunctive logic programming
- tree decomposition
- modulo theories
- update semantics
- answer set semantics
- software engineering
- search algorithm