Electronic contracting in aircraft aftercare: A case study

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 3, Issue , 2008, Pages 1749-1756

  Meneguzzi, Felipe ^a   Miles, Simon ^a   Luck, Michael ^a   Holt, Camden ^b   Smith, Malcolm ^b  

^a KING'S COLLEGE LONDON   (United Kingdom)

^b Lost Wax   (United Kingdom)

Author keywords

Agent Speak(L); BDI; Contracts; Electronic contracting; Norms

Indexed keywords

AUTONOMOUS AGENTS; CONTRACTS; FLIGHT CONTROL SYSTEMS; MULTI AGENT SYSTEMS;

AEROSPACE DOMAIN; BDI; CONTROL MECHANISM; DISTRIBUTED SYSTEMS; ELECTRONIC CONTRACTING; ELECTRONIC DOCUMENT; NORMS; PROTOTYPE SYSTEM;

INTELLIGENT AGENTS;

EID: 84899979497     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (17)

1. A. S. Abrahams and J. M. Bacon. A software implementation of Kimbrough's disquotation theory for representing and enforcing electronic commerce contracts. Group Decision and Negotiation, 11 (6):487-524, 2002.
2. R. H. Bordini, M. Dastani, J. Dix, and A. E. Fallah-Seghrouchni. Multi-Agent Programming: Languages, Platforms and Applications. Springer, 2005.
3. M. E. Bratman. Intention, Plans and Practical Reason. Harvard University Press, Cambridge, MA, 1987.
4. A. Daskalopulu, T. Dimitrakos, and T. Maibaum. Evidence-based electronic contract performance monitoring. Group Decision and Negotiation, 11 (6):469-485, 2002.
5. V. Dignum, J. J. Meyer, F. Dignum, and H. Weigand. Formal specification of interaction in agent societies. In Proceedings of the Second Goddard Workshop on Formal Approaches to Agent Based Systems, pages 37-52, 2002.
6. A. Garcia-Camino, J.-A. Rodn'guez-Aguilar, and W. Vasconcelos. A distributed architecture for norm management in multi-agent systems. In Proceedings of the Workshop on Coordination, Organization, Institutions and Norms in agent systems (COIN), 2007.
7. G. K. Giannikis and A. Daskalopulu. Defeasible reasoning with e-contracts. In Proceedings of the IEEEJWIC/ACM International Conference on Intelligent Agent Technology (IAT'06), pages 690-694, 2006.
8. B. Grosof and T. C. Poon. SweetDeal: Representing agent contracts with exceptions using semantic web rules, ontologies, and process descriptions. International Journal of Electronic Commerce, 8(4):61-98, 2004.
9. F. F. Ingrand, M. P. Georgeff, and A. S. Rao. An architecture for real-time reasoning and system control. IEEE Expert, Knowledge-Based Diagnosis in Process Engineering, 7(6):33-44, 1992.
10. M. Jakob, M. Pechoucek, J. Chabera, S. Miles, M. Luck, N. Oren, M. Kollingbaum, C. Holt, J. Vazquez, P. Storms, and M. Dehn. Case studies for contract-based systems. In Proceedings of the 7th International Conference on Autonomous Agents and Multiagent Systems, 2008.
11. L. Kagal. Rei: A policy language for the mecentric project. Technical Report HPL2002270, HP Labs, 2002.
12. M. Kollingbaum. Norm-governed Practical Reasoning Agents. PhD thesis, University of Aberdeen, 2005.
13. F. Lopez y Lopez, M. Luck, and M. d'Inverno. A normative framework for agent-based systems. In Proceedings of the First International Symposium on Normative Multi-Agent Systems, 2005.
14. LostWax. Aerogility. http://www.aerogility.com/, 2007.
15. S. Neal, J. Cole, P. F. Linington, Z. Milosevic, S. Gibson, and S. Kulkarni. Identifying requirements for business contract language: a monitoring perspective. In Proceedings of the Seventh IEEE International Enterprise Distributed Object Computing Conference, 2003.
16. A. S. Rao. AgentSpeak(L): BDI agents speak out in a logical computable language. In W. V. de Velde and J. W. Perram, editors, Proceedings of the Seventh European Workshop on Modelling Autonomous Agents in a Multi-Agent World, volume 1038 of LNCS, pages 42-55. Springer, 1996.
17. L. Xu and M. A. Jeusfeld. Pro-active monitoring of electronic contracts. In Advanced Information Systems Engineering, volume 2681 of LNCS, pages 584-600. Springer, 2003.