Norm specification and verification in multiagent systems
From MaRDI portal
Recommendations
Cited in
(23)- Formal frameworks for verifying normative multi-agent systems
- Norm enforcement as supervisory control
- Development and implementation of a technique for norms-adaptable agents in open multi-agent communities
- scientific article; zbMATH DE number 1669117 (Why is no real title available?)
- Agent-based systems for norm compliance in food supply chains
- Reasoning about dynamic normative systems
- The norm implementation problem in normative multi-agent systems
- Specification and Verification of Multi-Agent Systems
- Norm-based mechanism design
- Specification and Verification of Multi-agent Systems
- Normative Multi-agent Programs and Their Logics
- Distributed controllers for norm enforcement
- A logic for normative multi-agent programs
- Norms in MAS: definitions and related concepts
- Computational models for normative multi-agent systems
- The uses of norms
- Preface
- Modeling norm dynamics in multiagent systems
- Handbook of normative multiagent systems
- Modeling norm specification and verification in multiagent systems
- Data-Driven Revision of Conditional Norms in Multi-Agent Systems
- Deontic Logic in Computer Science
- Algebras for agent norm-regulation
This page was built for publication: Norm specification and verification in multiagent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5157010)
