Answer Set Programming with Epistemic Defaults.
Shutao ZhangZhizheng ZhangJun ShenPublished in: ICLP Workshops (2021)
Keyphrases
- answer set programming
- default theories
- logic programming
- modal operators
- logic programs
- default logic
- answer sets
- default reasoning
- knowledge representation
- constraint logic programming
- reasoning tasks
- answer set programs
- belief change
- modal logic
- epistemic logic
- stable model semantics
- causal theories
- nonmonotonic logics
- expressive power
- nonmonotonic reasoning
- stable models
- haplotype inference
- high level
- fixpoint
- temporal logic
- fixed point
- update semantics
- disjunctive logic programming