An approximate Herbrand's theorem and definable functions in metric structures.

Isaac Goldbring

Published in: Math. Log. Q. (2012)

Keyphrases

first order logic
logic programs
logic programming
genetic algorithm
metric space
metric learning
complex structures
linear combination of basis
neural network
lower bound
inductive logic programming
exact solution
functional properties