A logic model for electronic contracting
Decision Support Systems
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
On Expressing and Monitoring Behaviour in Contracts
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
WWW '03 Proceedings of the 12th international conference on World Wide Web
Performance Monitoring of Service-Level Agreements for Utility Computing Using the Event Calculus
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
On Design and Implementation of a Contract Monitoring Facility
WEC '04 Proceedings of the First IEEE International Workshop on Electronic Contracting
A unified behavioural model and a contract language for extended enterprise
Data & Knowledge Engineering - Special issue: Contract-driven coordination and collaboration in the internet context
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
Expressing and Verifying Business Contracts with Abductive Logic Programming
International Journal of Electronic Commerce
Contracts Violation: Justification via Argumentation
Computational Logic in Multi-Agent Systems
Resolution of Compliance Violation in Business Process Models: A Planning-Based Approach
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Specification, Verification and Explanation of Violation for Data Aware Compliance Rules
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Towards a methodology for deriving contract-compliant business processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Synthesising implicit contracts
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Business process regulatory compliance management solution frameworks: a comparative evaluation
APCCM '12 Proceedings of the Eighth Asia-Pacific Conference on Conceptual Modelling - Volume 130
| Hi-index | 0.00 |
This paper presents a formal system for reasoning about violations of obligations in contracts. The system is based on the formalism for the representation of contrary-to-duty obligations. These are the obligations that take place when other obligations are violated as typically applied to penalties in contracts. The paper shows how this formalism can be mapped onto the key policy concepts of a contract speci- fication language. This language, called Business Contract Language (BCL) was previously developed to express contract conditions of relevance for run time contract monitoring. The aim of this mapping is to establish a formal underpinning for this key subset of BCL.