Default Reasoning with Preference Within Only Knowing Logic.
Iselin EnganTore LangholmEspen H. LianArild WaalerPublished in: LPNMR (2005)
Keyphrases
- default reasoning
- proof theory
- conditional logic
- proof theoretic
- probabilistic logic
- nonmonotonic reasoning
- default logic
- belief revision
- probabilistic reasoning
- logic programming
- model theoretic
- dependency directed backtracking
- partial order
- closed world reasoning
- modal logic
- default rules
- inheritance reasoning
- autoepistemic logic
- automated reasoning
- classical logic
- commonsense reasoning
- bayesian networks
- soft constraints
- preference relations
- inference rules
- multi attribute
- relational databases