Preference Fusion for Default Reasoning Beyond System Z.
Gabriele Kern-IsbernerManuela RitterskampPublished in: J. Autom. Reason. (2010)
Keyphrases
- default reasoning
- belief revision
- nonmonotonic reasoning
- default logic
- partial order
- conditional logic
- closed world reasoning
- dependency directed backtracking
- proof theory
- probabilistic logic
- default rules
- inheritance reasoning
- probabilistic reasoning
- preference relations
- logic programming
- description logics
- default theories
- neural network
- proof theoretic
- fixed point