Expressiveness and Complexity of Full First-Order Constraints in the Algebra of Trees.

Alain Colmerauer

Published in: AISC (2002)

Keyphrases

higher order
expressive power
constrained optimization
decision trees
worst case
real numbers
database
neural network
query language
knowledge representation
co occurrence
constraint programming
space complexity
tree structures
tree models