A logic for normative multi-agent programs

DOI10.1093/LOGCOM/EXR026MaRDI QIDQ4918094zbMATH OpenOpenAlexWikidataFDO

Authors Mehdi Dastani, Davide Grossi, John-Jules Meyer

Publication date 6 May 2013

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/1f231e9f5a92d43adc417d4ec4b2480ecedf87f2

zbMATH Keywords

counts-as ruleslogicmulti-agent systemsnormative systemsprogrammingsemantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Normative Multi-agent Programs and Their Logics
• Norm specification and verification in multiagent systems
• Modeling norm specification and verification in multiagent systems
• A normative programming language for multi-agent organisations
• Computational models for normative multi-agent systems

Cited in

(12)

• A protocol-theoretic framework for the logic of epistemic norms
• Interaction in normative multi-agent systems
• Model checking normative agent organisations
• Normative systems represented as hybrid knowledge bases
• Norm-based mechanism design
• Normative Multi-agent Programs and Their Logics
• Sequence Semantics for Normative Agents
• Norm specification and verification in multiagent systems
• Norm-aware and norm-oriented programming
• Computational Logic in Multi-Agent Systems
• Modeling norm specification and verification in multiagent systems
• A normative programming language for multi-agent organisations

Describes a project that uses

Uses Software

• ISLANDER

This page was built for publication: A logic for normative multi-agent programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4918094)