Results 1 to 7 of 7
Sort by:

  • 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...