Functional first order definability of LRTP.

José Raymundo Marcial-Romero José Antonio Hernández Servín

Published in: Inteligencia Artif. (2010)

Keyphrases

finite model theory
first order logic
higher order
neural network
database
propositional logic
horn clauses
database theory
stochastic dominance
machine learning
artificial intelligence
fixed point
functional analysis
quantifier elimination
real world
decision trees
databases