A Complete Superposition Calculus for Primal Grammars.

Hicham Bensaid Nicolas Peltier

Published in: J. Autom. Reason. (2014)

Keyphrases

support vector
linear program
linear programming
natural language
formal language
least squares
theorem proving
artificial intelligence
case study
relational databases
convex optimization
primal dual
algebraic structure