Informational Semantics, Non-Deterministic Matrices and Feasible Deduction.

Marcello D'Agostino

Published in: LSFA (2013)

Keyphrases

inference rules
singular value decomposition
theorem proving
formal semantics
feasible solution
logical framework
database
neural network
logic programming
black box
covariance matrices
database languages
data sets
conceptual model
theorem prover
singular values