Specifying norm-governed computational societies

DOI10.1145/1459010.1459011zbMath1367.68320OpenAlexW2171687149MaRDI QIDQ5277819

Marek Sergot, Alexander Artikis, 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

normagentpolicyevent calculusaction languageexecutable specificationcontract-net

Mathematics Subject Classification ID

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

Related Items

Managing User-Generated Content as a Knowledge Commons ⋮ Representing first-order causal theories by logic programs ⋮ Programming norm change ⋮ Functional completion ⋮ Unnamed Item ⋮ Contracts Violation: Justification via Argumentation ⋮ Society Visualiser ⋮ An executable specification of a formal argumentation protocol

Uses Software

• NuSMV
• CCalc
• ISLANDER
• Soccer server

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