Model checking agent dialogues

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

Volumn 3476 LNAI, Issue , 2005, Pages 132-147

  Walton, Christopher D ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; NETWORK PROTOCOLS;

AGENT DIALOGUES; LIGHTWEIGHT PROTOCOL; SPIN MODEL CHECKER;

MULTI AGENT SYSTEMS;

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

References (31)

1. Austin, J.L.: How to Do Things With Words. Oxford University Press, Oxford, UK (1962)
2. Patil, R., Fikes, R.F., Patel-Schneider, P.F., McKay, D., Finin, T., Gruber, T., Neches, R.: The DARPA Knowledge Sharing Effort: Progress Report. In Nebel, B., Rich, C., Swartout, W., eds.: KR'92. Principles of Knowledge Representation and Reasoning: Proceedings of the Third International Conference. Morgan Kaufmann, San Mateo, California (1992) 777-788
3. Foundation for Intelligent Physical Agents: Fipa specification part 2 - agent communication language. Available at: www.fipa.org (1999)
4. Cohen, P.R., Levesque, H.J.: Rational interaction as the basis for communication. Intentions in Communication (1990) 221-256
5. Bratman, M.E.: Intention, Plans, and Practical Reason. Harvard University Press, Cambridge, MA (1987)
6. Rao, A.S., Georgeff, M.: Decision procedures for BDI logics. Journal of Logic and Computation 8 (1998) 293-344
7. Labrou, Y., Finin, T.: Semantics and conversations for an agent communication language. In: Proceedings of the Fifteenth International Joint Conference of Artificial Intelligence (IJCAI-97), Nagoya, Japan (1997) 584-591
8. Wooldridge, M.: Reasoning about Rational Agents. MIT Press (2000)
9. Bellifemine, F., Poggi, A., Rimassa, G.: JADE: A FIPA-compliant agent framework. In: Proceedings of the 1999 Conference on Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM'99), London, UK (1999) 97-108
10. Singh, M.P.: Agent Communication Languages: Rethinking the Principles. IEEE Computer (1998) 40-47
11. Labrou, Y., Finin, T.: Comments on the specification for FIPA '97 Agent Communication Language. Available at: www.cs.umbc.edu/kqml/papers/ (1997)
12. Wooldridge, M.: Semantic issues in the verification of agent communication languages. Autonomous Agents and Multi-Agent Systems 3 (2000) 9-31
13. Maudet, N., Chaib-draa, B.: Commitment-based and Dialogue-game based Protocols-News Trends in Agent Communication Language. The Knowledge Engineering Review 17 (2002) 157-179
14. Flores, R.A., Kremer, R.C.: Bringing Coherence to Agent Conversations. In: Proceedings of Agent-Oriented Software Engineering (AOSE 2001). Volume 2222 of Lecture Notes in Computer Science., Montreal, Canada, Springer-Verlag (2002) 50-67
15. Walton, D.N., Krabbe, E.C.W.: Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning. SUNY Press (1995)
16. McBurney, P., Parsons, S.: Games that agents play: A formal framework for dialogues between autonomous agents. Journal of Logic, Language and Information 11 (2002) 315-334
17. Benerecetti, M., Giunchiglia, F., Serafini, L.: Model Checking Multiagent Systems. Journal of Logic and Computation 8 (1998) 401-423
18. Wooldridge, M., Fisher, M., Huget, M.P., Parsons, S.: Model Checking Multiagent systems with MABLE. In: Proceedings of the First International Conference on Autonomous Agents and Multiagent Systems (AAMAS-02), Bologna, Italy (2002)
19. Bordini, R.H., Fisher, M., Pardavila, C., Wooldridge, M.: Model Checking AgentSpeak. In: Proceedings of the Second International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS), Melbourne, Australia, ACM (2003) 409-416
20. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.J.: State-space Reduction Techniques in Agent Verification. In: Proceedings of the Third International Conference on Autonomous Agents and Multiagent Systems (AAMAS-04), New York, USA, ACM Press (2004) 896-903
21. Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., Orchard, D.: Web Services Architecture. World-Wide-Web Consortium (W3C). (2003) Available at: www.w3.org/TR/ws-arch/.
22. Greaves, M., Holmback, H., Bradshaw, J.: What is a Conversation Policy? In: Proceedings of the Workshop on Specifying and Implementing Conversation Policies, Autonomous Agents '99, Seattle, Washington (1999)
23. Esteva, M., Rodríguez, J.A., Sierra, C., Garcia, P., Arcos, J.L.: On the Formal Specification of Electronic Institutions. In: Agent-mediated Electronic Commerce (The European AgentLink Perspective). Number 1991 in Lecture Notes in Artificial Intelligence (2001) 126-147
24. Vaconcelos, W.: Norm Verification and Analysis of Electronic Institutions. In: 2004 Workshop on Declarative Agent Languages and Technologies (DALT-04), New York, USA (2004) 141-155
25. Harel, D.: Statecharts: A Visual Formalism for Computer System. Science of Computer Programming 8 (1987) 231-274
26. Holzmann, G.J.: The SPIN Model Checker: Primer and Reference Manual. Addison Wesley (2003)
27. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes (Part 1/2). Information and Computation 100 (1992) 1-77
28. Esteva, M., Cruz, D., Sierra, C.: ISLANDER: an electronic institutions editor. In: Proceedings of the First International Joint Conference on Autonomous Agents & Multiagent Systems (AAMAS), Bologna, Italy, ACM press (2002) 1045-1052
29. Walton, C.: Multi-Agent Dialogue Protocols. In: Proceedings of the Eighth International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida (2004)
30. McGinnis, J.P., Robertson, D., Walton, C.: Using Distributed Protocols as an Implementation of Dialogue Games. In: Proceedings of the 1st European Workshop on Multi-Agent Systems (EUMAS-03), Oxford, UK (2003)
31. Dijkstra, E.W.: Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM 18 (1975) 453-457