1830 search results - page 94 / 366 » Centering in Dynamic Semantics |
109
click to vote
CSWWS
2006
15 years 3 months ago
2006
Bioinformaticians are accustomed to going through analysis steps, in which they employ several data sources, like protein sequence and protein interaction databases, to carry out t...
ENTCS
2008
14 years 11 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
70
Voted
AOSE
2004
Springer
15 years 4 months ago
2004
Springer
In the paper we study the dynamics of roles played by agents in multiagent systems. We capture role dynamics in terms of four operation performed by agents: ‘enactment’, ‘dea...
KI
2009
Springer
15 years 3 months ago
2009
Springer
In the paper we present a dynamic model of knowledge. The model is inspired by public announcement logic and an approach to a puzzle concerning knowledge and communication using th...
GCC
2005
Springer
15 years 4 months ago
2005
Springer
One of the key problems with virtual organizations in the context of the (Semantic) Grid is we don’t know how to describe the components used in virtual organizations because the...