Logic basis for anticipatory reasoning-reacting systems with three-dimensional moving objects.
Chun-Yan HanYixian LiuJi-Peng LiuZhiliang LiuDancheng LiZhiliang ZhuJingde ChengPublished in: ICMLC (2010)
Keyphrases
- three dimensional
- moving objects
- reasoning systems
- reason maintenance
- automated reasoning
- image sequences
- background subtraction
- spatio temporal
- reasoning engine
- distributed systems
- logical inference
- computational properties
- knowledge base
- order of magnitude reasoning
- proof theoretic
- logical rules
- asynchronous circuits
- reasoning process
- video sequences
- motion segmentation
- intelligent systems
- description logics