Keyphrases
- expressive power
- modal logic
- inference rules
- computational properties
- propositional dynamic logic
- traffic accidents
- fuzzy logic
- machine learning
- propositional calculus
- maximum likelihood
- probabilistic model
- multi agent systems
- image segmentation
- gaussian mixture
- classical logic
- data mining
- conditional logic
- epistemic logic
- proof theory
- data sets