Keyphrases
- modal logic
- expressive power
- preprocessing step
- propositional calculus
- image processing
- noise reduction
- data sets
- filtering algorithm
- epistemic logic
- filter design
- morphological filters
- genetic algorithm
- proof theory
- frequency response
- low pass filter
- nonmonotonic logics
- classical logic
- multiresolution
- feature selection
- image enhancement
- query language