Introduction: Formal approaches to multi-agent systems: Special issue of best papers of FAMAS 2007

B. Dunin-Keplicz, R. Verbrugge
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
more » ... and formal approaches to cooperation, multi-agent planning, communication, coordination, negotiation, games, and reasoning under uncertainty in a distributed environment.
doi:10.1093/jigpal/jzs053 fatcat:ehiasgdvhveahbsk46rln7hwte