Intensional programming for agent communication

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3476 LNAI, Issue , 2005, Pages 239-255

  Alagar, Vasu S ^a   Paquet, Joey ^a   Wan, Kaiyu ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

Author keywords

Agent Communication Language; Context; FIPA; Intensional Programming; KQML performatives; Lucid

Indexed keywords

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL OPERATORS; SYNTACTICS;

AGENT COMMUNICATION LANGUAGE; CONTEXT; FIPA; INTENSIONAL PROGRAMMING; KQML PERFORMATIVES; LUCID;

MULTI AGENT SYSTEMS;

EID: 26844493031     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11493402_14     Document Type: Conference Paper

References (14)

1. Alagar, V.S., Paquet, J., Wan, K.: Contexts in Intensional Programming. Technical Report, Department of Computer Science, Concordia University, Montreal, Canada, April 2004.
2. Alagar, V.S., Holliday, J., Thiyagarajan, P.V., Zhou, B.: Agent Types and Their Formal Descriptions. Technical Report, Department of Computer Engineering, Santa Clara University, Santa Clara, CA, U.S.A., May 2002.
3. van Riemsdijk, M. B., Dastani, M., Dignum, F., Meyer, J.J.: Dynamics of Declarative Goals in Agent Programming. In: Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag (2005). In this volume.
4. Finin, T., Fritzson, R., McKay, D., McEntire, R.: KQML as an Agent Communication Language. In: Proceedings of the 3rd International Conference on Information and Knowledge Management (CIKM'94), ACM Press, November 1994.
5. FIPA Semantic Language Specification.: FIPA Specification repository, FIPA-specification identifier XC00008G, September 2000 Foundation for Intelligent Physical Agents, Geneva, Switzerland.
6. Fan, X., Yen, J, Miller, M., Volz, R.: The Semantics of MALLET - An Agent Teamwork Encoding Language. In: Proceedings of the Workshop on Declarative Agent Languages and Technologies (DALT'04), LNCS 3476, Springer-Verlag (2005). In this volume.
7. Guha, R.V.: Contexts: A Formalization and Some Applications. PhD thesis, Stanford University, February 10, 1995.
8. Labrou, Y., Finin, T., Peng, Y.: Agent Communication Languages: The Current Landscape. IEEE Journal on Intelligent Agents, Amrch/April 1999, pp. 45-52.
9. Paquet, J., Kropf, P.: The GIPSY Architecture. DCW 2000: 144-153
10. Paquet, J.: Intensional Scientific Programming. Ph.D. Thesis, Departement d'Informatique, Universite Laval, Quebec, Canada, 1999
11. Wan, K., Alagar, V.S., Paquet, J.: Real Time Reactive Programming Enriched with Context, ICTAC2004, Guiyang, China, September 2004, Lecture Notes in Computer Science,3407, Springer-Verlag.
12. Wadge, W.W., Ashcroft, E.A..: Lucid, the dataflow programming language. Academic Press, 1985
13. Wooldridge, M.: Verifiable Semantics for Agent Communication Languages. In: Proceedings of the Third International Conference on Multi-Agent Systems (ICMAS'98).
14. Wu, A.H., Paquet, J., Grogono, P.: Design of a compiler framework in the GIPSY system. In Parallel and Distributed Computing and Systems - PDCS 2003, Marina Del Rey, California, USA, 2003.