Automatically running experiments on checking multi-party contracts

Artificial Intelligence and Law 29 (3):287-310 (2020)
  Copy   BIBTEX

Abstract

Contracts play an important role in business management where relationships among different parties are dictated by legal rules. Electronic contracts have emerged mostly due to technological advances and electronic trading between companies and customers. New challenges have then arisen to guarantee reliability among the stakeholders in electronic negotiations. In this scenario, automatic verification of electronic contracts appeared as an imperative support, specially the conflict detection task of multi-party contracts. The problem of checking contracts has been largely addressed in the literature, but there are few, if any, methods and practical tools that can deal with multi-party contracts using a contract language with deontic and dynamic aspects as well as relativizations, over the same formalism. In this work we present an automatic checker for finding conflicts on multi-party contracts modeled by an extended contract language with deontic operators and relativizations. Moreover a well-known case study of sales contract is modeled and automatically verified by our tool. Further, we performed practical experiments in order to evaluate the efficiency of our method and the practical tool.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Exploitative Contracts.Rick Bigwood - 2003 - Oxford University Press.
A secret paradox of the common law.Richard Bronaugh - 1983 - Law and Philosophy 2 (2):193 - 232.
Reviving Ulysses contracts.Ryan Spellecy - 2003 - Kennedy Institute of Ethics Journal 13 (4):373-392.
Contracts.Brian Bix - 2010 - In Franklin G. Miller & Alan Wertheimer (eds.), The Ethics of Consent: Theory and Practice. Oxford University Press.
Agreements: a philosophical and legal study.Oliver Black - 2012 - New York: Cambridge University Press.
Multi-task agency with unawareness.Ernst-Ludwig von Thadden & Xiaojian Zhao - 2014 - Theory and Decision 77 (2):197-222.
Rethinking freedom of contract.Jessica Flanigan - 2017 - Philosophical Studies 174 (2):443-463.

Analytics

Added to PP
2020-09-21

Downloads
5 (#1,344,576)

6 months
3 (#447,120)

Historical graph of downloads
How can I increase my downloads?