06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems

Authors Mehdi Dastani, John-Jules Ch. Meyer, Rafael H. Bordini



PDF
Thumbnail PDF

File

DagSemProc.06261.2.pdf
  • Filesize: 120 kB
  • 3 pages

Document Identifiers

Author Details

Mehdi Dastani
John-Jules Ch. Meyer
Rafael H. Bordini

Cite AsGet BibTex

Mehdi Dastani, John-Jules Ch. Meyer, and Rafael H. Bordini. 06261 Executive Summary – Foundations and Practice of Programming Multi-Agent Systems. In Foundations and Practice of Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 6261, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)
https://doi.org/10.4230/DagSemProc.06261.2

Abstract

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.
Keywords
  • 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

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads