A logic for normative multi-agent programs

DOI10.1093/logcom/exr026zbMath1262.68163OpenAlexW1965838114WikidataQ62045413 ScholiaQ62045413MaRDI QIDQ4918094

Davide Grossi, Mehdi Dastani, John-Jules Ch. 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

semanticslogicprogrammingmulti-agent systemsnormative systemscounts-as rules

Mathematics Subject Classification ID

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

Related Items (1)

Norm-based mechanism design

Uses Software

• ISLANDER

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