Logic-based agent communication protocols

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2922, Issue , 2004, Pages 91-107

  Endriss, Ulle ^a   Maudet, Nicolas ^b   Sadri, Fariba ^a   Toni, Francesca ^a,c  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b UNIVERSITÉ PARIS DESCARTES   (France)

^c UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; FINITE AUTOMATA; IDENTIFICATION (CONTROL SYSTEMS); INFORMATION DISSEMINATION; INTERACTIVE COMPUTER SYSTEMS; MULTI AGENT SYSTEMS; REQUIREMENTS ENGINEERING;

AGENT SPECIFICATION; COMMUNICATIVE INTERACTION; CONFORMANCE; LOGIC REPRESENTATION; AGENT COMMUNICATION PROTOCOLS; LOGIC-BASED AGENTS; NON-COOPERATIVE; SPECIFIC CLASS;

NETWORK PROTOCOLS; COMPUTATIONAL LINGUISTICS;

EID: 23144456825     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-24608-4_6     Document Type: Conference Paper

References (18)

1. M. Alberti, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni. Specification and Verification of Agent Interactions using Social Integrity Constraints. In W. van der Hoek et al., editors, Proceedings of the Workshop on Logic and Communication in Multi-Agent Systems (LCMAS-2003), 2003.
2. L. Amgoud, N. Maudet, and S. Parsons. Modelling Dialogues using Argumentation. In Proceedings of 4th International Conference on MultiAgent Systems (ICMAS2000). IEEE, 2000.
3. U. Endriss, W. Lu, N. Maudet, and K. Stathis. Competent Agents and Customising Protocols. In A. Omicini et al., editors, Proceedings of the 4th International Workshop on Engineering Societies in the Agents World (ESAW-200S), 2003.
4. U. Endriss, N. Maudet, P. Sadri, and F. Toni. Aspects of Protocol Conformance in Inter-agent Dialogue. In J. S. Rosenschein et al., editors, Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-200S). ACM Press, 2003. Extended Abstract.
5. U. Endriss, N. Maudet, P. Sadri, and F. Toni. Protocol Conformance for Logicbased Agents. In G. Gottlob and T. Walsh, editors, Proceedings of the 18th International Joint Conference on Artificial Intelligence (IJCAI-2003). Morgan Kaufmann Publishers, 2003.
6. M. Esteva, J.-A. Rodriguez-Aguilar, G. Sierra, P. Garcia, and J. L. Arcos. On the Formal Specification of Electronic Institutions. In F. Dignum and C. Sierra, editors, Agent Mediated Electronic Commerce: The European AgentLink Perspective. Springer-Verlag, 2001.
7. R. Fernández and U. Endriss. Abstract Models for Dialogue Protocols. In M. Marx, editor, Proceedings of the 5th International Tbilisi Symposium on Language, Logic and Computation, 2003.
8. Foundation for Intelligent Physical Agents (FIPA). Communicative Act Library Specification, 2002. http://www.fipa.org/specs/fipa00037/.
9. F. Guerin and J. Pitt. Guaranteeing Properties for E-commerce Systems. In J. Padget et al., editors, Agent-Mediated Electronic Commerce IV: Designing Mechanisms and Systems. Springer-Verlag, 2002.
10. N. Jennings, S. Parsons, P. Noriega, and C. Sierra. On Argumentation-based Negotiation. In Proceedings of the International Workshop on Multi-Agent Systems (IWMAS-1998), 1998.
11. A. Jones and M. Sergot, On the Characterisation of Law and Computer Systems: The Normative Systems Perspective. In Deontic Logic in Computer Science: Normative System Specification. John Wiley and Sons, 1993.
12. H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall International, 2nd edition, 1998.
13. J. Pitt and A. Mamdani. A Protocol-based Semantics for an Agent Communication Language. In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI-1999). Morgan Kaufmann Publishers, 1999.
14. F. Sadri, F. Toni, and P. Torroni. Dialogues for Negotiation: Agent Varieties and Dialogue Sequences. In Proceedings of the 8th International Workshop on Agent Theories, Architectures and Languages (ATAL-2001). Springer-Verlag, 2001.
15. M. P. Singh. A Customizable Coordination Service for Autonomous Agents. In Proceedings of the 4th International Workshop on Agent Theories, Architectures and Languages (ATAL-1997), 1997.
16. M. P. Singh. Agent Communication Languages: Rethinking the Principles. IEEE Computer, 31(12):40-47, 1998.
17. W. W. Vasconcelos. Expressive Global Protocols via Logic-based Electronic Institutions. In J. S. Rosenschein et al., editors, Proceedings of the 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2003). ACM Press, 2003. Extended Abstract.
18. P. Yolum and M. P. Singh. Flexible Protocol Specification and Execution: Applying Event Calculus Planning Using Commitments. In Proceedings of the 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-2002). ACM Press, 2002.