Synthesis of models for order-sorted first-order theories using linear algebra and constraint solving.

Published in: PROLE (2015)

Keyphrases

linear algebra
constraint solving
least squares
singular value decomposition
machine learning
pattern recognition
high dimensional
spatial information
first order logic
computer architecture