Executable specification of open multi-agent systems
From MaRDI portal
Publication:3550952
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
multi-agent systemevent calculusaction languageexecutable specificationNetBill protocolnorm-governed system
Cited In (4)
Uses Software
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)