Keyphrases
- valued logic
- valued semantics
- expressive power
- modal logic
- default logic
- classical logic
- propositional logic
- fuzzy logic
- logic programs
- decision procedures
- truth values
- fuzzy sets
- multi valued
- information retrieval
- inference rules
- data mining
- propositional calculus
- nonmonotonic logics
- first order logic
- proof theory
- database
- probabilistic model
- artificial neural networks
- data structure
- decision making
- computer vision
- artificial intelligence
- machine learning
- neural network