2026-07-20T05:04:50Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:846 2024-03-06T11:06:55Z ddc:004 open_access

06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems Dastani, Mehdi Meyer, John-Jules Ch. Bordini, Rafael H. Agent-oriented programming Agent-oriented software engineering Multi-agent implementation languages Agent development tools and platforms Semantics of agent-oriented languages Specification and verification of multi-agent systems Theories of multi-agent programming The "Foundations and Practice of Programming Multi-Agent Systems" Dagstuhl Seminar aimed at bringing together researchers interested in programming languages for multi-agent systems, agent-oriented software engineering, and various related aspects such as verification, and formal semantics. We were delighted with the result of this seminar, which gave participants a clear view of the most advanced techniques being currently investigated in research on those topics throughout the world, and also a clear understanding of all the most important open problems that need to be addressed by this research community. The seminar was particularly successful in elucidating the relationship between work being done by the "programming languages for multi-agent systems" (ProMAS) research community and the "agent-oriented software engineering" (AOSE) research community. Even though the initiative for this seminar arose from the ProMAS community, we were delighted to attract many prominent researches from the AOSE community, which allowed us to achieve the positive result on the connection of ProMAS and AOSE research. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Mehdi Dastani and John-Jules Ch. Meyer and Rafael H. Bordini 2007 Is Part Of Dagstuhl Seminar Proceedings, Volume 6261, Foundations and Practice of Programming Multi-Agent Systems (2007) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.06261.2 urn:nbn:de:0030-drops-8461 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.06261.2 eng https://creativecommons.org/licenses/by/4.0/legalcode