Keyphrases
- multi valued
- logic programming
- modal operators
- modal logic
- automated reasoning
- predicate logic
- building blocks
- classical logic
- morphological operators
- sound and complete axiomatization
- bounded model checking
- defeasible logic
- computational properties
- database
- edge detection
- hidden markov models
- case study
- image processing
- genetic algorithm