Advanced search
Publication Cover
Applied Artificial Intelligence
An International Journal
Volume 16, 2002 - Issue 9-10
Submit an article Journal homepage
80
Views
1
CrossRef citations to date
0
Altmetric
Original Articles

An Observation Approach to the Semantics of Agent Communication Languages

M. Viroli DEIS, Università di Bologna, Cesena, FC, Italy
&
A. Omicini DEIS, Università di Bologna, Cesena, FC, Italy
Pages 775-793 | Published online: 09 Jun 2010

  • ARPA Knowledge Sharing Initiative . 1993 . Specification of the KQML agent-communication language , External Interfaces Working Group .
  • Bergenti , F. and Poggi , A. A development toolkit to realize autonomous and interoperable agents . 5th International Conference an Autonomous Agents (Agents 2001) . pp. 632 – 639 . New York : ACM Press .
  • Bergenti , F. , Botelho , L. M. , Rimassa , G. and Somacher , M. A FIPA compliant goal delegation protocol . AAMAS 2002 Workshop "Agent Communication Languages and Conversation Policies" . Edited by: Huget , M.-P. , Dignum , F. and Koning , J-L. Bologna, , Italy
  • Bergstra , J. A. , Ponse , A. and Smolka , S. A. , eds. 2001 . Handbook of Process Algehra , Amsterdam : North-Holland .
  • Cohen , P. R. and Levesque , H. 1990 . Intention is choice with commitment . Artificial Intelligence , 42 (2-3) : 213 – 361 .
  • FIPA . 2000 . FIPA communicative act library specification http://www.fipa.org/specs/fipa00037/XC00037H.html
  • Glabbeek , R. V. 2001 . “ The linear time - branching time spectrum 1. The semantics of concrete, sequential processes ” . In Handbook of Process Algebra , Edited by: Bergstra . 3 – 100 . Amsterdam : North-Holland .
  • Gorrieri , R. and Rensink , A. 2001 . “ Action refinement ” . In Handbook of Process Algebra , Edited by: Bergstra . 1047 – 1147 . Amsterdam : North-Holland .
  • Klusch , M. 2001 . Information agent technology for the Internet: A survey . Data & Knowledge Engineering , 36 (3) : 337 – 372 .
  • Kone , M. T. , Shimazu , A. and Nakajima , T. 2000 . The state of the art in the agent communication languages . Knowledge and Information Systems , 2 (3) : 259 – 284 .
  • Labrou , Y. and Finin , T. 1997a . A proposal for a new KQML specification , Technical Report TC-CS-97-03 Baltimore, MD, , USA : University of Maryland Baltimore County .
  • Labrou , Y. and Finin , T. Semantics and conversation for an agent communication language . 15th International Joint Conference on Artificial Intelligence (JJCAI 97) . Nagoya, Japan. pp. 584 – 591 .
  • Milner , R. 1989 . Communication and Concurrency , New York : Prentice Hall .
  • Pitt , J. and Mamdani , E. A protocol-based semantics for an agent communication language . 16th International Joint Conference on Artificial Intelligence (JJCAI 99) . Edited by: Dean , T. pp. 486 – 491 . Stock-holm : Morgan Kaufmann .
  • Sadek , M. D. A study in the logic of intention . 3rd Conference on Principles of Knowledge Representation and Reasoning (KR '92) . Edited by: Nebel , B. , Rich , C and Swartout , W. pp. 462 – 473 . Cambridge, MA : Morgan Kaufmann .
  • Singh , M. P. 1998 . Agent communication languages: Rethinking the principles . IEEE Computer , 31 (12) : 40 – 47 .
  • Stephan , D. , Brookes , C. A. R. and Hoare , A. W. R. 1984 . A theory of communicating sequential processes . Communications of the ACM , 31 (3) : 560 – 599 .
  • van Eijk , R. M. , de Boer , F. S. , van der Hoek , W. and Meyer , J. -J. C. 2000 . “ Operational semantics for agent communication languages ” . In Issues in Agent Communication , Edited by: Dignum , F. and Greaves , M. 80 – 95 . Berlin : Springer . 1916 of LNAI
  • Viroli , M. and Omicini , A. 2002a . Modeling agents as observable sources . Journal of Universal Computer Science , 8 (4) : 423 – 451 .
  • Viroli , M. and Omicini , A. Specifying agent observable behavior . 1st international Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002) . Edited by: Castelfranchi , C. and Johnson , W. L. Vol. 2 , pp. 712 – 720 . Bologna, , Italy : ACM .
  • Viroli , M. , Moro , G. and Omicini , A. On observation as a coordination paradigm: An ontology and a formal framework . 16th ACM Symposium on Applied Computing (SAC 2001) . pp. 166 – 175 . Las Vegas, NV : ACM . Track on Coordination Models, Languages and Applications
  • Wooldridge , M. Verifiable semantics for agent communication languages . 3rd International Conference on Multi Agent Systems (ICMAS '98) . Edited by: Demazeau , Y. pp. 248 – 356 . Paris, , France : IEFE Press .

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

Related research

People also read lists articles that other readers of this article have read.

Recommended articles lists articles that we recommend and is powered by our AI driven recommendation engine.

Cited by lists all citing articles based on Crossref citations.
Articles with the Crossref icon will open in a new tab.