A Tableau for Multimodal Logics and Some (Un)Decidability Results.
Matteo BaldoniLaura GiordanoAlberto MartelliPublished in: TABLEAUX (1998)
Keyphrases
- description logics
- number restrictions
- computational properties
- tableau calculus
- decision procedures
- expressive power
- multi modal
- modal logic
- inference rules
- knowledge base
- dl lite
- knowledge representation
- audio visual
- propositional calculus
- data sets
- conditional logic
- modal operators
- multimodal data
- multimodal information
- model theoretic
- multimodal interaction
- query answering