Society Visualiser

MaRDI QIDQ32659swMATHFDO

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
• Moise+
• 2APL
• Coala
• CCalc
• CArtAgO
• ISLANDER
• Soccer server
• KQML
• Computational models for normative multi-agent systems
• 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