2636 search results - page 81 / 528 » Linear Programming |
84
Voted
ICALP
2009
Springer
16 years 2 months ago
2009
Springer
108
click to vote
ICLP
2010
Springer
15 years 6 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
113
click to vote
AAAI
2011
14 years 2 months ago
2011
The standard approach to computing an optimal mixed strategy to commit to is based on solving a set of linear programs, one for each of the follower’s pure strategies. We show t...
128
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
Semi-naive evaluation is an effective technique employed in bottom-up evaluation of logic programs to avoid redundant joins of answers. The impact of this technique on top-down e...
118
click to vote
SAC
2010
ACM
15 years 9 months ago
2010
ACM
We introduce an extension of linear constraints, called linearrange constraints, which allows for (meta-)reasoning about the approximation width of variables. Semantics for linear...