Learn More
Little is known about how neurons in the different layers of the mammalian cerebral cortex are specified at the molecular level. Expression of two homologues of the Drosophila homeobox Cut gene, Cux-1 and Cux-2, is strikingly specific to the pyramidal neurons of the upper layers (II-IV) of the murine cortex, suggesting that they may define the molecular(More)
Multi-agent conversations are built upon two components: agent communication languages (ACLs) that specify the individual messages that can be exchanged and interaction protocols (IPs) that specify the sequences in which these message can be arranged. Although informative, the semantic definition proposed for the most standard ACL (FIPA 1997) is complicated(More)
Although interaction protocols are often part of multi-agent infrastructures, many of the published protocols are semi-formal, vague or contain errors. Formal presentations can counter such disadvantages since they are amenable to verification of correctness. On the other hand, a diagrammatic representation of system structure is easier to comprehend. To(More)
Agent interaction in realistic applications is subject to many forms of uncertainty -- including <i>information and network uncertainty, trust of and conflicts with other participants, lack of stability in a deal and risks about agreements and commitments.</i> However, one of the most common forms of uncertainty occurs when a group has divergent beliefs(More)
An access control policy writing tool for the PERMIS role-based privileges management infrastructure was iteratively developed employing usability principles and techniques. Expert and intermediate users' efficiency in policy creation was improved. Three novice users took part in a usability trial with the first prototype, attempting to recreate a simple(More)
In this paper, we discuss the challenges of specifying and implementing agent interaction protocols with the same interpretation by all parties in an open system. This raises the issue of what it means for a group to follow and comply with a protocol. Resolving such questions is essential for facilitating agent interactions, interoperability, and trust(More)