Tree Theory: interpretability between Weak First-order Theories of Trees.
Zlatan DamnjanovicPublished in: Bull. Symb. Log. (2023)
Keyphrases
- tree structure
- theory revision
- theoretical framework
- tree models
- tree structures
- tree nodes
- tree construction
- logical theories
- propositional theories
- action theories
- general theory
- decision trees
- binary tree
- wavelet tree
- tree edit distance
- tree mining
- causal reasoning
- design theory
- regression trees
- first order logic
- classical first order logic
- unordered trees
- knowledge base
- classification trees
- computational models
- cognitive psychology
- leaf nodes
- kd trees
- tree matching
- rooted trees
- tree representation
- data structure
- tree search
- tree like structures
- index structure
- tree pruning
- decision theory
- tree induction
- quadtree
- fuzzy decision trees
- binary search trees
- decision tree learning
- theoretical models
- game tree
- phylogenetic trees