Restricted semantics for default reasoning.
Zuoquan LinChen ChenPublished in: Ann. Math. Artif. Intell. (2018)
Keyphrases
- default reasoning
- proof theory
- conditional logic
- belief revision
- nonmonotonic reasoning
- default rules
- model theoretic
- closed world reasoning
- default logic
- probabilistic logic
- partial order
- proof theoretic
- probabilistic reasoning
- dependency directed backtracking
- default theories
- inheritance reasoning
- logic programming
- belief change
- probabilistic knowledge
- propositional logic