author = {Marco Alberti and  Anna Ciampolini and Marco Gavanelli 
and Evelina Lamma and Paola Mello and Paolo Torroni},
  title = {A Social {ACL} Semantics by Deontic Constraints},
  booktitle = {Proceedings of the 3rd International/Central and Eastern European Conference on Multi-Agent Systems},
  editor = {V.Marik and J.Muller and M.Pechoucek},
  year = 2003,
  address = {Prague, Czech Republic},
  month = {June},
  series = {Lecture Notes in Artificial Intelligence},
  number = 2691,
  pages = {204-213},
  issn = {0302-9743},
  isbn = {3-540-40450-3},
  abstract = { In most proposals for multi-agent systems, an Agent Communication
  Language (ACL) is the formalism designed to express knowledge
  exchange among agents. However, a universally accepted standard for
  ACLs is still missing. Among the different approaches to the
  definition of ACL semantics, the \textit{social} approach seems the
  most appropriate to express semantics of communication in open
  societies of autonomous and heterogeneous agents.
  In this paper we propose a formalism (\textit{deontic constraints})
  to express social ACL semantics, which can be grounded on a
  computational logic framework, thus allowing automatic verification
  of compliance by means of appropriate proof procedures. We also show
  how several common communication performatives can be defined by
  means of deontic constraints.}
  author = {Marco Alberti and Marco Gavanelli and Evelina Lamma and Paola Mello and Paolo Torroni},
  title = {An Abductive Interpretation for Open Agent Societies},
  booktitle = {AI*IA 2003: Advances in Artificial Intelligence: 8th Congress of the Italian Association for Artificial Intelligence Pisa, Italy, September 23-26, 2003 Proceedings},
  year = {2003},
  volume = {2829},
  series = {Lecture Notes in Artificial Intelligence},
  address = {Pisa, Italy},
  month = sep # { 23-26},
  publisher = {Springer Verlag},
  pages = {287-299},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2829&spage=287},
  pdf = {http://springerlink.metapress.com/media/3pvxje0ttl7xrg84qwtm/contributions/l/d/8/p/ld8p2ja8d94wkv6m_html/BodyRef/PDF/558_10956106_Chapter_24.pdf},
  editor = {A. Cappelli and F. Turini},
  issn = {0302-9743},
  isbn = {3-540-20119-X},
  abstract = {The focus of this work is on the interactions among (possibly
  heterogeneous) agents that form an open society, and on the
  definition of a computational logic-based architecture for agent
  interaction. We propose a model where the society defines the
  allowed interaction protocols, which determine the ``socially''
  allowed agent interaction patterns. The semantics of protocols can
  be defined by means of social integrity constraints.  The main
  advantages of this approach are in the design of societies of
  agents, and in the possibility to detect undesirable behavior. In
  the paper, we present the model for societies ruled by protocols
  expressed as integrity constraints, and its declarative semantics. A
  sketch of the operational counterpart is also given.}

This file was generated by bibtex2html 1.98.