Executable specification of open multi-agent systems

DOI10.1093/jigpal/jzp071zbMath1197.68081OpenAlexW2105827992MaRDI QIDQ3550952

Marek Sergot, Alexander Artikis

Publication date: 8 April 2010

Published in: Logic Journal of 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)

Related Items (1)

Unnamed Item

Uses Software

• NuSMV
• Moise+

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