3573 search results - page 91 / 715 » Reasoning about Codata |
119
click to vote
HYBRID
2001
Springer
15 years 7 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...
127
click to vote
ARGMAS
2006
Springer
15 years 7 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...
133
click to vote
ATAL
2006
Springer
15 years 5 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...
131
click to vote
APLAS
2006
ACM
15 years 9 months 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...
136
click to vote
EKAW
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Qualitative reasoning uses a limited set of relevant distinctions of the domain to allow a flexible way of representing and reasoning about it. This work presents a conce...