A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007
2012
Logic Journal of the IGPL
Over the last decade, multi-agent systems have come to form one of the key technologies for software development. The Formal Approaches to Multi-Agent Systems (FAMAS) workshop series brings together researchers from the fields of logic, theoretical computer science and multi-agent systems in order to discuss formal techniques for specifying and verifying multi-agent systems. FAMAS addresses the issues of logics for multi-agent systems, formal methods for verification, for example model
doi:10.1093/jigpal/jzs053
fatcat:ehiasgdvhveahbsk46rln7hwte