Top-down, bottom-up multivalued default reasoning for identity maintenance.
Vinay D. ShetDavid HarwoodLarry S. DavisPublished in: VSSN@MM (2006)
Keyphrases
- default reasoning
- attention mechanism
- belief revision
- nonmonotonic reasoning
- default logic
- dependency directed backtracking
- closed world reasoning
- probabilistic reasoning
- probabilistic logic
- conditional logic
- proof theory
- visual attention
- visual saliency
- default rules
- inheritance reasoning
- proof theoretic
- partial order
- logic programming
- general purpose
- object oriented
- high level