Completeness Results in Neighbourhood Semantics for Multi-Modal Monotonic and Regular Logics.
Olivier GasquetPublished in: Log. J. IGPL (1996)
Keyphrases
- multi modal
- proof theory
- propositional dynamic logic
- conditional logic
- epistemic logic
- nonmonotonic logics
- multi modality
- audio visual
- cross modal
- modal logic
- default reasoning
- logic programming
- semantic information
- expressive power
- fusing multiple
- video search
- semantic concepts
- belief revision
- feature selection
- image annotation
- high dimensional