2636 search results - page 81 / 528 » Linear Programming |
ICALP
2009
Springer
15 years 10 months ago
2009
Springer
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
AAAI
2011
13 years 10 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...
PPDP
2004
Springer
15 years 3 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...
SAC
2010
ACM
15 years 4 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...