Tractable approximations of sets defined with quantifiers.

Jean B. Lasserre

Published in: Math. Program. (2015)

Keyphrases

computationally tractable
closed form
version spaces
first order logic
databases
real world
artificial intelligence
web services
artificial neural networks
upper bound
np complete
rough approximations
upper and lower approximations