4595 search results - page 560 / 919 » Reasoning about Plans |
184
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. Nominal logic is a variant of first-order logic equipped with a “freshname quantifier” N and other features useful for reasoning about languages with bound names. I...
189
click to vote
FOSSACS
2005
Springer
16 years 12 days ago
2005
Springer
Separation logic is a spatial logic for reasoning locally about heap structures. A decidable fragment of its assertion language was presented in [1], based on a bounded model prope...
161
click to vote
ICCBR
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We present a form of case-based reuse conducive to the cooperation of multiple CBR agents in problem solving. First, we present a form of constructive adaptation for con...
189
click to vote
ICFEM
2005
Springer
16 years 12 days ago
2005
Springer
Many safety-critical systems deal with geometric objects. Reasoning about the correctness of such systems is mandatory and requires the use of basic definitions of geometry for th...
176
click to vote
IH
2005
Springer
16 years 12 days ago
2005
Springer
We study the effect compulsion attacks, through which an adversary can request a decryption or key from an honest node, have on the security of mix based anonymous communication s...