On Interpolation and Symbol Elimination in Theory Extensions.

Viorica Sofronie-Stokkermans

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

databases
theoretical framework
formal theory
data sets
artificial intelligence
theoretical basis
neural network
support vector
color images
computational model
conceptual framework