Modulo-Counting Quantifiers Over Finite Trees.
Andreas PotthoffPublished in: Theor. Comput. Sci. (1994)
Keyphrases
- decision trees
- finite number
- artificial intelligence
- multiresolution
- tree construction
- first order logic
- neural network
- unit length
- monadic datalog
- databases
- binary trees
- compact representations
- binary tree
- tree structure
- multi dimensional
- probabilistic model
- search algorithm
- bayesian networks
- website
- machine learning