Keyphrases
- expressive power
- high resolution
- modal logic
- machine learning
- consequence finding
- valued logic
- nonmonotonic logics
- computational properties
- inference rules
- query language
- description logics
- search algorithm
- concept lattice
- sampling rate
- higher resolution
- information systems
- social networks
- information retrieval
- data sets
- conflict detection