A Multiagent-Based ITS Using Multiple Viewpoints for Propositional Logic.
Evandro de Barros CostaPriscylla SilvaMarlos SilvaEmanuele SilvaAnderson SantosPublished in: ITS (2012)
Keyphrases
- propositional logic
- multiple viewpoints
- viewpoint
- multi view
- omni directional
- first order logic
- multiple views
- belief revision
- lattice theory
- possibilistic logic
- quantified boolean formulae
- propositional satisfiability
- single viewpoint
- multi camera
- d objects
- visual hull
- geometric constraints
- multiple cameras
- satisfiability testing
- three dimensional