Incremental logic rectification.
Shi-Yu HuangKuang-Chien ChenKwang-Ting ChengPublished in: VTS (1997)
Keyphrases
- camera calibration
- incremental learning
- logic programming
- multi valued
- incremental clustering
- set theory
- incremental version
- predicate logic
- logical framework
- automated reasoning
- single camera
- modal logic
- data driven
- databases
- classical logic
- first order logic
- formal theory
- abductive reasoning
- asynchronous circuits
- database