4224 search results - page 387 / 845 » Reasoning about Choice |
199
click to vote
CL
2000
Springer
15 years 12 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...
218
click to vote
LICS
1999
IEEE
15 years 12 months ago
1999
IEEE
Contextual equivalences for cryptographic process calculi, like the spi-calculus, can be used to reason about correctness of protocols, but their definition suffers from quantific...
184
click to vote
TIME
1999
IEEE
15 years 12 months ago
1999
IEEE
We present a new forward chaining planner, TALplanner, based on ideas developed by Bacchus [5] and Kabanza [11], where domain-dependent search control knowledge represented as tem...
185
click to vote
ICCBR
1997
Springer
15 years 11 months ago
1997
Springer
This paper describes the dual use of a case base for diagnosis and for improving the design of a manufacturing process. In the short term, the case base is used to provide past ex...
208
click to vote
PLILP
1992
Springer
15 years 11 months ago
1992
Springer
The unfold/fold framework constitutes the spine of many program transformation strategies. However, by unrestricted use of folding the target program may terminate less often than...