892 search results - page 55 / 179 » Strategies in sentential reasoning |
CL
2000
Springer
15 years 5 months ago
2000
Springer
We propose a general scheme for the cooperation of different constraint solvers. A uniform interface for constraint solvers allows to formally specify information exchange between...
111
click to vote
CADE
1998
Springer
15 years 5 months ago
1998
Springer
The CRIL multi-strategy platform for SAT includes a whole family of local search techniques and some of the best Davis and Putnam strategies for checking propositional satis abilit...
104
click to vote
PLILP
1994
Springer
15 years 4 months ago
1994
Springer
We present a strategy to derive an efficient reference count garbage collector for any applicative program by only modifying it on the source code level. The key to the approach is...
CSL
2008
Springer
15 years 2 months ago
2008
Springer
We present a game-based semantic framework in which the time complexity of any IMELL proof can be read out of its interpretation. This gives a compositional view of the geometry of...
112
click to vote
IJCAI
2003
15 years 2 months ago
2003
FLUX belongs to the high-level programming languages for cognitive agents that have been developed in recent years. Based on the established, general action representation formali...