Keyphrases
- truth values
- valued logic
- inference rules
- expressive power
- modal logic
- neural network
- image details
- multiscale
- proof theoretic
- nonmonotonic logics
- decision procedures
- classical logic
- case study
- hidden markov models
- machine learning
- information systems
- probabilistic model
- real world
- databases
- image sequences
- intuitionistic logic
- propositional dynamic logic
- inheritance reasoning