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