Some connections between universal algebra and logics for trees.
Mikolaj BojanczykHenryk MichalewskiPublished in: CoRR (2017)
Keyphrases
- decision trees
- expressive power
- data model
- relational algebra
- modal logic
- tree nodes
- set theory
- tree structure
- algebraic expressions
- binary trees
- tree models
- nonmonotonic logics
- inference rules
- website
- multi valued
- decision procedures
- data structure
- learning algorithm
- machine learning
- proof theory
- neural network
- propositional calculus
- database