5243 search results - page 121 / 1049 » Reasoning About Strategies |
161
click to vote
HYBRID
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The assume-guarantee paradigm is a powerful divide-andconquer mechanism for decomposing a veri cation task about a system into subtasks about the individual components of...
168
click to vote
ARGMAS
2006
Springer
15 years 10 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
172
click to vote
ATAL
2006
Springer
15 years 8 months ago
2006
Springer
We build on recent work on argumentation frameworks for generating desires and plans. We provide a rich instantiDung's abstract argumentation framework for (i) generating con...
169
click to vote
APLAS
2006
ACM
16 years 12 days ago
2006
ACM
We present a local relational reasoning method for reasoning about contextual equivalence of expressions in a λ-calculus with recursive types and general references. Our developme...
148
click to vote
EWCBR
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. A CBR system needs a good case retention strategy to decide which cases to incorporate into the case base in order to maximize the performance of the system. In this work...