Executable specification of open multi-agent systems

DOI10.1093/JIGPAL/JZP071MaRDI QIDQ3550952zbMATH OpenOpenAlexFDO

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

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)

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

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

Describes a project that uses

Uses Software

• Moise+
• NuSMV

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)