191 search results - page 1 / 39 » Superposition and Model Evolution Combined |
CADE
2009
Springer
15 years 10 months ago
2009
Springer
We present a new calculus for first-order theorem proving with equality, ME+Sup, which generalizes both the Superposition calculus and the Model Evolution calculus (with equality)...
CADE
2004
Springer
15 years 3 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
ICASSP
2011
IEEE
14 years 1 months ago
2011
IEEE
Structured precision modelling is an important approach to improve the intra-frame correlation modelling of the standard HMM, where Gaussian mixture model with diagonal covariance...
110
click to vote
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
SOPR
2002
14 years 9 months ago
2002