Autoepistemic answer set programming.
Pedro CabalarJorge FandinnoLuis Fariñas del CerroPublished in: Artif. Intell. (2020)
Keyphrases
- answer set programming
- default theories
- logic programming
- autoepistemic logic
- logic programs
- default logic
- answer sets
- constraint logic programming
- reasoning tasks
- answer set programs
- causal theories
- nonmonotonic reasoning
- modal logic
- nonmonotonic logics
- knowledge representation
- stable model semantics
- stable models
- haplotype inference
- fixpoint
- update semantics
- disjunctive logic programming
- default reasoning
- inductive logic programming
- modulo theories