Keyphrases
- theory revision
- first order logic
- theoretical framework
- stochastic dominance
- decision trees
- higher order
- knowledge base
- background knowledge
- logical theories
- tree structure
- bounded degree
- quantifier elimination
- formal models
- domain theory
- concept learning
- expressive power
- case study
- relational learning
- probability theory
- knowledge representation
- expert systems
- tree construction
- machine learning
- data sets
- database