An ASP Semantics for Default Reasoning with Constraints.
Pedro CabalarRoland KaminskiMax OstrowskiTorsten SchaubPublished in: IJCAI (2016)
Keyphrases
- default reasoning
- conditional logic
- proof theory
- belief revision
- probabilistic reasoning
- closed world reasoning
- default rules
- partial order
- dependency directed backtracking
- nonmonotonic reasoning
- proof theoretic
- probabilistic logic
- model theoretic
- default logic
- constraint satisfaction
- answer set programming
- inheritance reasoning
- default theories
- constraint programming