Society Visualiser

swMATH20845MaRDI QIDQ32659FDOQ32659

Author name not available (Why is that?)

Described by source

• Specifying norm-governed computational societies

Cited In (7)

• Title not available (Why is that?)
• Functional completion
• Dynamic specification of open 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