ASP(AC): Answer Set Programming with Algebraic Constraints.
Thomas EiterRafael KieselPublished in: CoRR (2020)
Keyphrases
- answer set programming
- constraint logic programming
- logic programs
- logic programming
- answer sets
- function symbols
- stable model semantics
- reasoning tasks
- answer set solvers
- causal theories
- answer set programs
- stable models
- update semantics
- derivation rules
- knowledge representation
- answer set semantics
- software engineering
- haplotype inference
- constraint networks
- arc consistency
- constraint satisfaction
- disjunctive logic programming