Legal procedures as formal conversations: contracting on a performative network
ICIS '89 Proceedings of the tenth international conference on Information Systems
Handbook of logic in artificial intelligence and logic programming (vol. 3)
Deontic logic: a concise overview
Deontic logic in computer science
Obligations directed from bearers to counterparts
ICAIL '95 Proceedings of the 5th international conference on Artificial intelligence and law
Frontiers of electronic commerce
Frontiers of electronic commerce
From EDI to Electronic Commerce: A Business Initiative
From EDI to Electronic Commerce: A Business Initiative
Modeling the Dynamics of Transferable Obligations in Business Procedures
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Facilitating International Electronic Commerce by Formalising the Incoterms
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Information Systems Track—Internet and the Digital Economy - Volume 4
Action Concepts for Describing Organised Interaction
HICSS '97 Proceedings of the 30th Hawaii International Conference on System Sciences: Advanced Technology Track - Volume 5
Formal aspects of a generic model of trust for electronic commerce
Decision Support Systems - Special issue: Formal modeling and electronic commerce
ACM SIGecom Exchanges
Normative autonomy and normative co-ordination: declarative power, representation, and mandate
Artificial Intelligence and Law
A Formal Analysis of Auditing Principles for Electronic Trade Procedures
International Journal of Electronic Commerce
Securing uniqueness of rights e-documents: a deontic process perspective
Journal of Theoretical and Applied Electronic Commerce Research
Representing and reasoning about commitments in business processes
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
Specifying and monitoring economic environments using rights and obligations
Autonomous Agents and Multi-Agent Systems
Pro-active monitoring of electronic contracts
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Reputation-Based service level agreements for web services
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Specifying and monitoring market mechanisms using rights and obligations
AAMAS'04 Proceedings of the 6th AAMAS international conference on Agent-Mediated Electronic Commerce: theories for and Engineering of Distributed Mechanisms and Systems
Hi-index | 0.00 |
In electronic commerce paper-based trade documents are replaced by electronic messages that can be processed automatically by computer applications. Electronic contracting and negotiating is an advanced type of automated processing of electronic messages. The actual trade contract is negotiated on-line and concluded via an electronic network. To develop support software for electronic contracting, it is essential to have an adequate model of the content of a contract. One of the requirements of such a model is that it gives an adequate analysis of the obligations and rights of the partners to a contract. Obligations and permissions in trade contracts typically are directed: they hold between two parties. An example of a directed obligation is the obligation of a buyer to pay the seller money in exchange for goods. We present a formal model of directed obligations and permissions in trade contracts. This formal model can be used for the specification of software to support electronic contracting.