Executable specification of open multi-agent systems

DOI10.1093/JIGPAL/JZP071zbMATH Open1197.68081OpenAlexW2105827992MaRDI QIDQ3550952FDOQ3550952

Authors: Alexander Artikis, Marek Sergot 

Publication date: 8 April 2010

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp071

Recommendations

• Dynamic specification of open agent systems
• Specification and Verification of Multi-Agent Systems
• Formal Specification of Multi-agent Systems by Using EUSMs
• scientific article; zbMATH DE number 2044476
• scientific article; zbMATH DE number 1629874
• Speculative computation and action execution in multi-agent systems
• Computational Science – ICCS 2005

zbMATH Keywords

multi-agent systemevent calculusaction languageexecutable specificationNetBill protocolnorm-governed system

Mathematics Subject Classification ID

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

Cited In (4)

• Rights and argumentation in open multi-agent systems
• Dynamic specification of open agent systems
• Normative reasoning and consequence
• Specifying norm-governed computational societies

Uses Software

• NuSMV
• Moise+

This page was built for publication: Executable specification of open multi-agent systems

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