Handbook of theoretical computer science (vol. B)
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
On the Formal Specifications of Electronic Institutions
Agent Mediated Electronic Commerce, The European AgentLink Perspective.
Electronic Contract Framework for Contractual Agents
AI '02 Proceedings of the 15th Conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
Modeling Directed Obligations and Permissions in Trade Contracts
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 5 - Volume 5
Relativized Deontic Modalities for Contractual Obligations in Formal Business Communication
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Electronic institutions for B2B: dynamic normative environments
Artificial Intelligence and Law
Specifying and enforcing norms in artificial institutions
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Specifying norm-governed computational societies
ACM Transactions on Computational Logic (TOCL)
A Context-Based Institutional Normative Environment
Coordination, Organizations, Institutions and Norms in Agent Systems IV
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm Defeasibility in an Institutional Normative Framework
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Engineering open environments with electronic institutions
Engineering Applications of Artificial Intelligence
Modelling electronic organizations
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Directed deadline obligations in agent-based business contracts
COIN'09 Proceedings of the 5th international conference on Coordination, organizations, institutions, and norms in agent systems
Constitutive norms in the design of normative multiagent systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Making electronic contracting operational and trustworthy
IBERAMIA'10 Proceedings of the 12th Ibero-American conference on Advances in artificial intelligence
Hi-index | 0.00 |
Real-world business relationships have an essentially cooperative nature. However, when modeling contractual norms using normative multi-agent systems, it is typical to give norms a strict and domain independent semantics. We argue that in B2B contract enactment cooperation should be taken into account when modeling contractual commitments through obligations. We introduce an approach to model such commitments based on directed obligations with time windows. Our proposal is based on authorizations granted at specific states of an obligation lifecycle model, made possible by handling deadlines in a flexible way. We formalize such obligations using linear temporal logic and provide an implementation to their semantics using a set of monitoring rules employed in a forward-chaining inference engine. We show, through experimentation, the correctness of the obtained monitoring tool in different contract enactment situations.