3573 search results - page 115 / 715 » Reasoning about Codata |
124
Voted
KR
2010
Springer
15 years 8 months ago
2010
Springer
Dynamic epistemic logic deals with the representation of situations in a multi-agent and dynamic setting. It allows to express in a uniform way statements about:
139
Voted
TPHOL
2008
IEEE
15 years 9 months ago
2008
IEEE
Abstract. Lightweight separation is a novel approach to automatic reasoning about memory updates in pointer programs. It replaces the spatial formulae of separation logic, which co...
119
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
Sharing mutable data (via aliasing) is a powerful programming technique. To facilitate sharing, object-oriented programming languages permit the programmer to selectively break en...
115
click to vote
EDM
2010
15 years 4 months ago
2010
In this paper we detail a preliminary model for reasoning about annotating learning objects and intelligently showing annotations to users who will benefit from them. Student inter...
147
click to vote
ARGMAS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a rel...