1024 search results - page 18 / 205 » Value complete, column complete, predicate complete |
102
click to vote
MLQ
2008
15 years 1 months ago
2008
We observe that removing contraction from a standard sequent calculus for first-order predicate logic preserves completeness for the modal fragment.
101
click to vote
DISOPT
2008
15 years 1 months ago
2008
We introduce a general technique to create an extended formulation of a mixed-integer program. We classify the integer variables into blocks, each of which generates a finite set ...
106
click to vote
BIRTHDAY
2010
Springer
15 years 2 months ago
2010
Springer
In this note we consider the following decision problems. Let be a fixed first-order signature. (i) Given a first-order theory or ground theory T over of Turing degree , a program...
124
click to vote
CORR
2010
Springer
15 years 2 days ago
2010
Springer
Singular Value Decomposition (and Principal Component Analysis) is one of the most widely used techniques for dimensionality reduction: successful and efficiently computable, it ...
APAL
2006
15 years 1 months ago
2006
In this paper an alternative Skolemization method is introduced that for a large class of formulas is sound and complete with respect to intuitionistic logic. This class extends t...