Compositional design and verification of a multi-agent system for one-to-many negotiation

Proceedings - International Conference on Multi Agent Systems, ICMAS 1998

Volumn , Issue , 1998, Pages 49-56

  Brazier, Frances ^a   Cornelissen, Frank ^a   Gustavsson, Rune ^b   Jonker, Catholijn M ^a   Lindeberg, Olle ^a   Polak, Bianca ^a   Treur, Jan ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

^b Research Laboratory SIKT ^*  (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITIONAL VERIFICATION; COMPOSITIONALITY; ELECTRICITY USE; ONE-TO-MANY NEGOTIATION; VERIFICATION PROCESS;

MULTI AGENT SYSTEMS;

EID: 52649152797     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICMAS.1998.699031     Document Type: Conference Paper

References (16)

1. Abadi, M., Lamport, L., Composing Specifications, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, 1993, p. 73-132.
2. Akkermans, H., Ygge, F., Gustavsson, R., HOMEBOTS: Intelligent Decentralized Services for Energy Management. In: Proceedings of the Fourth International Symposium on the Management of Industrial and Corporate Knowledge, ISMICK'96, 1996.
3. Benjamins, R., Fensel, D., Straatman, R., Assumptions of problem-solving methods and their role in knowledge engineering. In: W. Wahlster (ed.), Proceedings of the 12th European Conference on AI, ECAI'96, John Wiley and Sons, 1996, pp. 408-412.
4. Brazier, F.M.T., Cornelissen, F., Gustavsson, R., Jonker, CM., Lindeberg, O., Polak, B., Treur, J., Agents Negotiating for Load Balancing of Electricity Use. In: M.P. Papazoglou (ed.), Proc. of the 18th International Conference on Distributed Computing Systems, ICDCS'98. IEEE Computer Society Press, 1998. In press.
5. Brazier, F.M.T., Dunin-Keplicz, B., Jennings, N.R., Treur, J., Formal specification of Multi-Agent Systems: A real-world case. In: V. Lesser (ed.), Proc tasks. In: B.R. Gaines, M.A. Musen (eds.), Proceedings of the First International Conference on Multi-Agent Systems, ICMAS'95, MIT Press, Cambridge, MA, 1995, pp. 25-32.
6. International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67-94.
7. Brazier, F.M.T., Treur, J., Wijngaards, N.J.E., Willems, M., Temporal semantics of complex reasoning tasks. In: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 15/1-15/17. Extended version to appear in Data and Knowledge Engineering, 1998.
8. Engelfriet, J., Jonker, CM., Treur, J., Compositional Verification of Multi-Agent Systems in Temporal Multi-Epistemic Logic. In: J.P. Miiller, A.S. Rao, M.P. Singh (eds.), Proceedings of the Fifth International Workshop on Agent Theories, Architectures and Languages, ATAL'98, 1998. To be published by Springer Verlag.
9. Fensel, D., Schonegge, A., Groenboom, R., Wielinga, B., Specification and verification of knowledge-based systems. In: B.R. Gaines, M.A. Musen (eds.), Proceedings of the 10th Banff Knowledge Acquisition for Knowledge-based Systems workshop, KAW'96, Calgary: SRDG Publications, Department of Computer Science, University of Calgary, 1996, pp. 41-420.
10. Fisher, M., Wooldridge, M., On the Formal Specification and Verification of Multi-Agent Systems. In: International Journal of Cooperative Information Systems, M. Huhns, M. Singh, (eds.), special issue on Formal Methods in Cooperative Information Systems: Multi-Agent Systems, vol. 6, 1997, pp. 67-94.
11. Gustavsson, R., Requirements on Information Systems as Business Enablers. Invited paper. In Proceedings of DA/DSM Europe DistribuTECH'97, PennWell, 1997.
12. Hooman, J., Compositional Verification of a Distributed Real-Time Arbitration Protocol. In: Real-Time Systems, vol. 6, 1997, pp. 173-206.
13. Jonker, CM., Treur, J., Compositional verification of multi-agent systems: A formal analysis of pro-activeness and reactiveness. In: W.P. de Roever, H. Langmaack, A. Pnueli (eds.), Proceedings of the International Workshop on Compositionality, COMPOS'97, Springer Verlag, 1998. In press.
14. Kinny, D., Georgeff, M.P., Rao, A.S., A Methodology and Technique for Systems of BDI Agents. In: W. van der Velde, J.W. Perram (eds.), Agents Breaking Away, Proceedings of the 7th European Workshop on Modelling Autonomous Agents in a Multi-Agent World, MAAMAW'96, Lecture Notes in AI, vol. 1038, Springer Verlag, 1996, pp. 56-71.
15. Rosenschein, J.S., Zlotkin, G., Rules of Encounter: Designing Conventions for Automated Negotiation among Computers, MIT Press, 1994.
16. Rosenschein, J.S., Zlotkin, G., Designing Conventions for Automated Negotiation, In: AI Magazine, Vol. 15-3, Fall 1994, pp. 29-46.