Sequent calculus and data fusion.
Claudio SossaiPaolo BisonGaetano ChemelloPublished in: Fuzzy Sets Syst. (2001)
Keyphrases
- data fusion
- sequent calculus
- cut elimination
- inference rules
- linear logic
- modal logic
- natural deduction
- multi sensor
- linear time temporal logic
- information fusion
- multi source
- fusion algorithm
- multi sensor data fusion
- fusion method
- multiple sensors
- proof search
- source selection
- real time
- wide class
- fusion process
- fusion methods
- theorem prover
- situation assessment
- desirable properties
- image fusion
- sufficient conditions