Keyphrases
- dynamic logic
- modal logic
- ensemble learning
- reasoning about actions
- imperative programs
- decision trees
- ensemble methods
- ensemble selection
- propositional dynamic logic
- classical first order logic
- neural network ensemble
- base classifiers
- agent programming
- modal operators
- word sense induction
- software engineering
- relational databases
- natural language