Preference-Based Default Reasoning.
Manuela RitterskampGabriele Kern-IsbernerPublished in: FLAIRS Conference (2008)
Keyphrases
- default reasoning
- belief revision
- nonmonotonic reasoning
- dependency directed backtracking
- conditional logic
- partial order
- closed world reasoning
- probabilistic reasoning
- default logic
- proof theory
- preference relations
- probabilistic logic
- default rules
- proof theoretic
- knowledge representation
- formal model
- constraint satisfaction
- sufficient conditions
- search algorithm