Default reasoning in a coherent setting.
Giulianella ColettiRomano ScozzafavaBarbara VantaggiPublished in: NMR (2002)
Keyphrases
- default reasoning
- nonmonotonic reasoning
- belief revision
- default logic
- conditional logic
- partial order
- dependency directed backtracking
- proof theory
- default rules
- probabilistic reasoning
- closed world reasoning
- probabilistic logic
- default theories
- data structure
- high level
- image segmentation
- artificial intelligence
- neural network