Many-valued hybrid logic.
Jens HansenThomas BolanderTorben BraünerPublished in: Advances in Modal Logic (2008)
Keyphrases
- association rule mining
- concept lattice
- modal logic
- truth values
- data mining
- conceptual clustering
- knowledge discovery
- predicate logic
- classical logic
- temporal logic
- inference rules
- aggregation functions
- multi valued
- information retrieval
- logical framework
- deontic logic
- sound and complete axiomatization
- digital circuits
- computational properties
- description logics
- social networks
- learning algorithm
- machine learning