Using a performative subsumption lattice to support commitment-based conversations
Formalization of a voting protocol for virtual organizations
Towards a functional ontology of reputation
Implementing norms in electronic institutions
Enforceable social laws
Temporal logics for normative agent communication protocols