Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

BaldoniEtAl10 (In proceedings)
Author(s) Matteo Baldoni, Cristina Baroglio, Federico Bergenti, Antonio Boccalatte, Elisa Marengo, Maurizio Martelli, Viviana Mascardi, Luca Padovani, Viviana Patti, Alessandro Ricci, Gianfranco Rossi and Andrea Santi
Title« MERCURIO: An Interaction-oriented Framework for Designing, Verifying and Programming Multi-Agent Systems »
InProceedings of the International Workshop on Coordination, Organization, Institutions and Norms in Multi-Agent Systems (COIN'10)
Volume627
Page(s)134-149
Year2010
PublisherCEUR
ISSN number1613-0073
URLhttp://CEUR-WS.org/Vol-627/coin_9.pdf
Abstract
This is a position paper reporting the motivations, the starting point and the guidelines that characterise the MERCURIO project proposal, submitted to MIUR PRIN 2009. The aim is to develop formal models of interactions and of the related support infrastructures, that overcome the limits of the current approaches by explicitly representing not only the agents but also the computational environment in terms of rules, conventions, resources, tools, and services that are functional to the coordination and cooperation of the agents. The models will enable the verification of interaction properties of MAS from the global point of view of the system as well as from the point of view of the single agents, due to the introduction a novel social semantic of interaction based on commitments and on an explicit account of the regulative rules.

BibTeX code

@inproceedings{BaldoniEtAl10,
  volume = {627},
  issn = {1613-0073},
  author = {Matteo Baldoni and Cristina Baroglio and Federico Bergenti and
            Antonio Boccalatte and Elisa Marengo and Maurizio Martelli and
            Viviana Mascardi and Luca Padovani and Viviana Patti and Alessandro
            Ricci and Gianfranco Rossi and Andrea Santi},
  booktitle = {Proceedings of the International Workshop on Coordination,
               Organization, Institutions and Norms in Multi-Agent Systems
               (COIN'10)},
  url = {http://CEUR-WS.org/Vol-627/coin_9.pdf},
  title = {{MERCURIO: An Interaction-oriented Framework for Designing, Verifying
           and Programming Multi-Agent Systems}},
  abstract = { This is a position paper reporting the motivations, the starting
              point and the guidelines that characterise the MERCURIO project
              proposal, submitted to MIUR PRIN 2009. The aim is to develop
              formal models of interactions and of the related support
              infrastructures, that overcome the limits of the current
              approaches by explicitly representing not only the agents but also
              the computational environment in terms of rules, conventions,
              resources, tools, and services that are functional to the
              coordination and cooperation of the agents. The models will enable
              the verification of interaction properties of MAS from the global
              point of view of the system as well as from the point of view of
              the single agents, due to the introduction a novel social semantic
              of interaction based on commitments and on an explicit account of
              the regulative rules. },
  publisher = {CEUR},
  year = {2010},
  pages = {134-149},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!