Specifying norm-governed computational societies

DOI10.1145/1459010.1459011MaRDI QIDQ5277819zbMATH OpenOpenAlexFDO

Authors Alexander Artikis, Marek Sergot, Jeremy Pitt

Publication date 12 July 2017

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1459010.1459011

zbMATH Keywords

action languageagentcontract-netevent calculusexecutable specificationnormpolicy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• scientific article; zbMATH DE number 1950647
• Executable specification of open multi-agent systems
• An abductive interpretation for open agent societies
• Global Computing
• scientific article; zbMATH DE number 2112103

Cited in

(11)

• An executable specification of a formal argumentation protocol
• Managing user-generated content as a knowledge commons
• Representing first-order causal theories by logic programs
• Society Visualiser
• Contracts Violation: Justification via Argumentation
• scientific article; zbMATH DE number 1950647 (Why is no real title available?)
• Programming norm change
• Functional completion
• Computational models for normative multi-agent systems
• An abductive interpretation for open agent societies
• Constitutional governance for societies of AI agents in the built environment: a research agenda

Describes a project that uses

Uses Software

• NuSMV
• CCalc
• ISLANDER
• Soccer server

This page was built for publication: Specifying norm-governed computational societies

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