Keyphrases
- expressive power
- modal logic
- classical logic
- nonmonotonic logics
- proof theory
- propositional dynamic logic
- social networks
- query language
- epistemic logic
- database
- decision procedures
- default logic
- propositional calculus
- intuitionistic logic
- conditional logic
- inference rules
- image segmentation
- image processing
- genetic algorithm
- data sets