Annals of Mathematics and Artificial Intelligence
Modeling exceptions via commitment protocols
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
A commitment-based communicative act library
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Formalizing and achieving multiparty agreements via commitments
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Contextualizing commitment protocol
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Temporalised normative positions in defeasible logic
ICAIL '05 Proceedings of the 10th international conference on Artificial intelligence and law
NetBill security and transaction protocol
WOEC'95 Proceedings of the 1st conference on USENIX Workshop on Electronic Commerce - Volume 1
Contract enactment in virtual organizations: a commitment-based approach
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Running contracts with defeasible commitment
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Modelling flexible social commitments and their enforcement
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Running contracts with defeasible commitment
IEA/AIE'06 Proceedings of the 19th international conference on Advances in Applied Artificial Intelligence: industrial, Engineering and Other Applications of Applied Intelligent Systems
| Hi-index | 0.00 |
Social commitments are developed for multi-agent systems according to the current practice in law regarding contract formation and breach. Deafeasible commitments are used to provide a useful link between multi-agent systems and legal doctrines. The proposed model makes the commitments more expressive relative to contract law and it stresses the representational rather than the operational side of the commitment life cycle. As a consequence, the broader semantics helps in modeling different types of contracts (gratuitous promises, unilateral contracts, bilateral contracts, and forward contracts) and negotiation patterns. The semantics of higher-order commitments is useful in deciding whether to sign an agreement or not and to represent a larger variety of protocols and legal contracts.