585 search results - page 34 / 117 » Strategy Logic |
114
Voted
CADE
1998
Springer
15 years 6 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...
101
Voted
SYNTHESE
2008
15 years 1 months ago
2008
The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADMc (Adaptive Doxastic Merging by...
123
Voted
IJVR
2007
15 years 1 months ago
2007
—This paper describes a framework for animating and controlling articulated bodies in a fluid simulation. We illustrate this approach by simulating an autonomous fish in various ...
111
Voted
CADE
2006
Springer
16 years 2 months ago
2006
Springer
Abstract. The inverse method is a generalization of resolution that can be applied to non-classical logics. We have recently shown how Andreoli's focusing strategy can be adap...
145
click to vote
KR
1994
Springer
15 years 6 months ago
1994
Springer
We present a logic for representing and reasoning with qualitative statements of preference and normality and describe how these may interact in decision making under uncertainty....