DEPCOS
2006
IEEE
15 years 7 months ago
2006
IEEE
119
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
We aim at an adequate formal description of the dynamics of commitments and trust by transferring insights about actual human practices to a formal setting. Our framework is based ...
113
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
The paper outlines an approach to the formal representation of signalling conventions, emphasising the prominent role played therein by a particular type of normative modality. It ...
105
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. By making use of modal logic techniques, the paper disentangles two semantically different readings of statements of the type X counts as Y in context C (the classificato...
94
Voted
DEON
2006
Springer
15 years 7 months ago
2006
Springer
