AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
Identifying requirements for Business Contract Language: a Monitoring Perspective
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Defeasible Reasoning with e-Contracts
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
International Journal of Electronic Commerce
Case studies for contract-based systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Extending agent languages for autonomy
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Case studies for contract-based systems
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Towards a Monitoring Framework for Agent-Based Contract Systems
CIA '08 Proceedings of the 12th international workshop on Cooperative Information Agents XII
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Contract Formation through Preemptive Normative Conflict Resolution
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Flexible behaviour regulation in agent based systems
CARE@AI'09/CARE@IAT'10 Proceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development
Analyzing contract robustness through a model of commitments
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Integrating expectation monitoring into BDI agents
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Applying electronic contracting to the aerospace aftercare domain
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
Distributed systems comprised of autonomous self-interested entities require some sort of control mechanism to ensure the predictability of the interactions that drive them. This is certainly true in the aerospace domain, where manufacturers, suppliers and operators must coordinate their activities to maximise safety and profit, for example. To address this need, the notion of norms has been proposed which, when incorporated into formal electronic documents, allow for the specification and deployment of contract-driven systems. In this context, we describe the CONTRACT framework and architecture for exactly this purpose, and describe a concrete instantiation of this architecture as a prototype system applied to an aerospace aftercare scenario.