• Society Visualiser

  • Referenced in 11 articles [sw20845]
  • Specifying norm-governed computational societies. Electronic markets, dispute resolution and negotiation protocols are three types ... norms governing their interactions. It has been argued that systems of this type should have...
  • HARMONIA

  • Referenced in 4 articles [sw03091]
  • The role of norms and electronic institutions in...
  • NuSMV

  • Referenced in 309 articles [sw04131]
  • NuSMV is a symbolic model checker developed as...
  • Moise+

  • Referenced in 22 articles [sw06188]
  • Moise is an organisational model for Multi-Agent...
  • Coala

  • Referenced in 10 articles [sw08842]
  • Coala: a compiler from action languages to ASP...
  • CCalc

  • Referenced in 79 articles [sw09899]
  • The Causal Calculator (CCalc) is a system for...
  • ISLANDER

  • Referenced in 15 articles [sw20843]
  • ISLANDER: an electronic institutions editor. In this paper...