The evaluation of first-order substitution is monadic second-order compatible.

Bruno Courcelle Teodor Knapik

Published in: Theor. Comput. Sci. (2002)

Keyphrases

higher order
first order logic
machine learning
deductive databases
evaluation criteria
database
data sets
genetic algorithm
differential equations
evaluation methods