BQM: a system integrating logic, objects, and non-monotonic reasoning.
Nicola LeonePasquale RulloPublished in: ICTAI (1995)
Keyphrases
- defeasible logic
- commonsense reasoning
- multiscale
- proof theory
- real world objects
- complex scenes
- object classes
- attribute values
- spatial relationships
- modal logic
- object model
- multiple objects
- bounding box
- geometric constraints
- data objects
- computational properties
- object oriented
- nonmonotonic logics
- moving objects
- neural network