• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Artificial Intelligence and Law >Automatically running experiments on checking multi-party contracts
【24h】

Automatically running experiments on checking multi-party contracts

机译：自动运行检查多方合同的实验

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

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.
机译：合同在业务管理中发挥着重要作用，其中不同方之间的关系被法律规则决定。由于公司和客户之间的技术进步和电子贸易，电子合同主要出现。然后出现了新的挑战，以保证在电子谈判中的利益攸关方之间的可靠性。在这种情况下，电子合同的自动验证出现为一个必要的支持，特别是多方合同的冲突检测任务。在文献中，检查合同的问题已在很大程度上地解决了，但如果有的话，如果有的话，如果有的话，如果有的话，可以使用与流动语言以及动态方面以及相互作用的合同语言处理多方合同，相同形式主义。在这项工作中，我们介绍了一个自动检查器，用于查找由延长合同语言建模的多方合同的冲突，其中包含文字运算符和相对化。此外，众所周知的销售合同案例研究是由我们的工具自动验证的。此外，我们进行了实际实验，以评估我们的方法和实用工具的效率。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号