607 search results - page 106 / 122 » Axiomatizing hybrid logic using modal logic |
DEON
2004
Springer
15 years 3 months ago
2004
Springer
In an organizational context the norms that apply to an agent depend on the roles he holds in the organization. The deontic characterization of structural roles is defined when th...
112
click to vote
CSFW
2003
IEEE
15 years 3 months ago
2003
IEEE
We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal l...
CCIA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
PTS
2007
14 years 11 months ago
2007
Black-box testing is a popular technique for assessing the quality of a system. However, in case of a test failure, only little information is available to identify the root-cause ...
108
click to vote
PUC
2002
14 years 9 months ago
2002
: Constructing stories is a type of playing that involves mobilizing the storyteller's imagination and finding original ways to convey narrative intentions. When a child inven...