3573 search results - page 423 / 715 » Reasoning about Codata |
187
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Spatial conjunction is a powerful construct for reasoning about dynamically allocated data structures, as well as concurrent, distributed and mobile computation. While re...
202
click to vote
IEEEVAST
2010
15 years 1 months ago
2010
Information foraging and sensemaking with heterogeneous information are context-dependent activities. Thus visual analytics tools to support these activities must incorporate cont...
199
click to vote
IAT
2009
IEEE
15 years 4 months ago
2009
IEEE
We study an update operator for Coalition Logic to talk about the way players' strategic ability changes because of the moves of their opponents. We show its connection with D...
195
click to vote
LICS
2010
IEEE
15 years 5 months ago
2010
IEEE
—We provide a syntactic analysis of contextual preorder and equivalence for a polymorphic programming language with effects. Our approach applies uniformly across a range of alge...
176
click to vote
DLOG
2010
15 years 4 months ago
2010
Dynamic epistemic logic plays a key role in reasoning about multi-agent systems. Past approaches to dynamic epistemic logic have typically been focused on actions whose primary pur...