Default reasoning and the qualitative representation of spatial knowledge
Daniel HernándezKai ZimmermannPublished in: Forschungsberichte, TU Munich (1993)
Keyphrases
- default reasoning
- spatial knowledge
- spatial relations
- belief revision
- nonmonotonic reasoning
- default logic
- partial order
- spatial reasoning
- default rules
- dependency directed backtracking
- probabilistic reasoning
- conditional logic
- proof theory
- probabilistic logic
- inheritance reasoning
- possibility theory
- image representation
- default theories
- probability theory
- graphical representation
- dynamical systems
- expert systems
- object recognition