Society Visualiser

swMATH20845MaRDI QIDQ32659FDOQ32659

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?doid=1459010.1459011

Described by source

• Specifying norm-governed computational societies

Cited In (15)

• Functional completion
• Dynamic specification of open agent systems
• Computational models for normative multi-agent systems
• Moise+
• 2APL
• Coala
• CCalc
• CArtAgO
• ISLANDER
• Soccer server
• KQML
• An executable specification of a formal argumentation protocol
• Multi-modal CTL: completeness, complexity, and an application
• Contracts Violation: Justification via Argumentation
• Programming norm change

This page was built for software: Society Visualiser