Unification in a Combination of Equational Theories with Shared Constants and its Application to Primal Algebras.

Christophe Ringeissen

Published in: LPAR (1992)

Keyphrases

equational theories
theorem proving
linear programming
objective function
linear program
machine learning
support vector
high level
temporal reasoning
function symbols