Programming verifiable heterogeneous agent systems

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

Volumn 5442 LNAI, Issue , 2009, Pages 40-55

  Dennis, Louise A ^a   Fisher, Michael ^a  

^a UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL VERIFICATIONS; HETEROGENEOUS AGENTS; VERIFIABILITY; VERIFICATION FRAMEWORK;

COMPUTER SOFTWARE SELECTION AND EVALUATION;

MULTI AGENT SYSTEMS;

EID: 70349316439     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03278-3_3     Document Type: Conference Paper

References (29)

1. Bellifemine, F.L., Caire, G., Greenwood, D.: Developing MultiAgent Systems with JADE (2007)
2. Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.): Multi-Agent Programming: Languages, Platforms and Applications. Springer, Heidelberg (2005)
3. Bordini, R.H., Dennis, L.A., Farwer, B., Fisher, M.: Automated Verification of Multi-Agent Programs. In: Proc. 23rd Int. Conf. Automated Software Engineering (2008)
4. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Model Checking Rational Agents. IEEE Intelligent Systems 19(5), 46-52 (2004)
5. Bordini, R.H., Fisher, M., Visser, W., Wooldridge, M.: Verifying Multi-Agent Programs by Model Checking. J. Autonomous Agents & Multi-Agent Systems 12(2), 239-256 (2006)
6. Bordini, R.H., Hübner, J.F., Wooldridge, M.: Programming Multi-agent Systems in AgentSpeak Using Jason. Wiley, Chichester (2007)
7. Clarke, E., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)
8. Dastani, M., van Riemsdijk, M.B., Meyer, J.-J.C.: Programming Multi-Agent Systems in 3APL. In: Bordini, et al. (eds.) [2], ch. 2, pp. 39-67
9. de Boer, F.S., Hindriks, K.V., van der Hoek, W., Meyer, J.-J.C.: A Verification Framework for Agent Programming with Declarative Goals. J. Applied Logic 5(2), 277-302 (2007)
10. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M.: A Flexible Framework for Verifying Agent Programs. In: Proc. Int. Conf. Autonomous Agents & Multiagent Systems. ACM, New York (2008) (Short paper)
11. Dennis, L.A.: Gwendolen: A BDI Language for Verifiable Agents In Logic and the Simulation of Interaction and Reasoning. AISB Convention, University of Aberdeen (2008)
12. Dennis, L.A., Farwer, B., Bordini, R.H., Fisher, M., Wooldridge, M.: A Common Semantic Basis for BDI Languages. In: Proc. 7th Int. Workshop on Programming Multiagent Systems (2007)
13. Dix, J., Zhang, Y.: IMPACT: A Multi-Agent Framework with Declarative Semantics. In: Bordini, et al. (eds.) [2], ch. 3, pp. 69-94
14. Farwer, B., Dennis, L.A.: Translating into an Intermediate Agent Layer: A prototype in Maude. In: Proc. Concurrency, Specification, & Programming (2007)
15. FIPA: Foundation for Intelligent Physical Agents, http://www.fipa.org 16. Fisher, M.: METATEM: The Story so Far. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) ProMAS 2005. LNCS (LNAI), vol. 3862, pp. 3-22. Springer, Heidelberg (2006)
16. Gungui, I., Mascardi, V.: Integrating tuProlog into DCaseLP to Engineer Heterogeneous Agent Systems. In: Proc. Italian Conf. Computational Logic, Univ. Parma (2004)
17. Holzmann, G.J.: The Spin Model Checker. Addison-Wesley, Reading (2003)
18. Java Agent Services, http://www.java-agent.org
19. OMG: Object Management Group, http://www.omg.org
20. Paurobally, S., Cunningham, J., Jennings, N.: Verifying the Contract Net Protocol: A Case Study in Interaction Protocol and Agent Communication Language Semantics. In: Proc. 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems (2004)
21. Paurobally, S., Cunningham, J., Jennings, N.R.: A Formal Framework for Agent Interaction Semantics. In: Proc. 4th Int. Conf. Autonomous Agents & Multiagent Systems, pp. 91-98 (2005)
22. Shoham, Y.: Agent-Oriented Programming. Artificial Intelligence 60(1), 51-92 (1993)
23. Smith, R.G., Davis, R.: Frameworks for Cooperation in Distributed Problem Solving. IEEE Trans. Systems, Man, & Cybernetics 11(1) (1980)
24. Subrahmanian, V.S., Bonatti, P., Dix, J., Eiter, T., Kraus, S., Ozcan, F., Ross, R.: Heterogeneous Agent Systems: Theory and Implementation. MIT Press, Cambridge (2000)
25. Suguri, H., Kodama, E., Miyazaki, M.: Assuring Interoperability in Heterogeneous, Autonomous and Decentralized Multi-Agent Systems. In: Proc. 6th Int. Symp. Autonomous Decentralized Systems, pp. 17-24. IEEE, Los Alamitos (2003)
26. Tan, X.,Wang, S.: Implementation of Multi-Agent System Based on CORBA and COM. In: Proc. 6th Int. Conf. Computer Supported Coop. Work in Design, pp. 299-302 (2001)
27. trade; Intelligent Agents. In: Bordini, et al. (eds.) [2], ch. 7, pp. 175-193
28. Winikoff, M.: Implementing Commitment-Based Interactions. In: Proc. 6th Int. Conf. Autonomous Agents & Multiagent Systems, pp. 1-8. ACM, New York (2007)
29. Winikoff, M., Padgham, L., Harland, J., Thangarajah, J.: Declarative and Procedural Goals in Intelligent Agent Systems. In: Proc. Int. Conf. Principles of Knowledge Representation & Reasoning (2002)