Keyphrases
- expressive power
- modal logic
- propositional calculus
- inference rules
- nonmonotonic logics
- classical logic
- computational properties
- knowledge representation
- propositional dynamic logic
- artificial intelligence
- artificial neural networks
- objective function
- similarity measure
- three dimensional
- case study
- image processing
- information systems