A logic for normative multi-agent programs

DOI10.1093/LOGCOM/EXR026zbMATH Open1262.68163OpenAlexW1965838114WikidataQ62045413 ScholiaQ62045413MaRDI QIDQ4918094FDOQ4918094

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

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

zbMATH Keywords

multi-agent systemssemanticslogicprogrammingnormative systemscounts-as rules

Mathematics Subject Classification ID

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

Cited In (12)

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

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)