Keyphrases
- valued logic
- expressive power
- classical logic
- modal logic
- propositional calculus
- epistemic logic
- data structure
- social bookmarking
- propositional logic
- propositional dynamic logic
- inference rules
- computer vision
- information retrieval
- database
- computational properties
- decision procedures
- nonmonotonic logics
- data model
- information systems
- machine learning