Keyphrases
- monadic second order logic
- expressive power
- multi valued
- decision trees
- classical logic
- logic programming
- total cost
- minimum cost
- logical framework
- data complexity
- storage space
- modal logic
- data sets
- phylogenetic trees
- tree structure
- query processing
- datalog programs
- cost savings
- cost reduction
- tree models
- knowledge base