Keyphrases
- valued logic
- expressive power
- modal logic
- classical logic
- social bookmarking
- decision procedures
- propositional logic
- epistemic logic
- decision making
- fuzzy logic
- inference rules
- propositional dynamic logic
- nonmonotonic logics
- fuzzy sets
- bayesian networks
- information systems
- computer vision
- social networks
- conditional logic
- artificial intelligence
- data mining
- proof theory
- neural network
- database