English
Related papers

Related papers: Detecting Logical Relation In Contract Clauses

200 papers

Time is deeply woven into how people perceive, and communicate about the world. Almost unconsciously, we provide our language utterances with temporal cues, like verb tenses, and we can hardly produce sentences without such cues. Extracting…

Computation and Language · Computer Science 2020-05-18 Artuur Leeuwenberg , Marie-Francine Moens

Comparative constructions pose a challenge in Natural Language Inference (NLI), which is the task of determining whether a text entails a hypothesis. Comparatives are structurally complex in that they interact with other linguistic…

Computation and Language · Computer Science 2020-05-19 Izumi Haruta , Koji Mineshima , Daisuke Bekki

An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of principals each of them gets his requests satisfied, so that…

Logic in Computer Science · Computer Science 2023-06-22 Davide Basile , Pierpaolo Degano , Gian-Luigi Ferrari

Document-level relation extraction requires integrating information within and across multiple sentences of a document and capturing complex interactions between inter-sentence entities. However, effective aggregation of relevant…

Computation and Language · Computer Science 2020-07-29 Guoshun Nan , Zhijiang Guo , Ivan Sekulić , Wei Lu

Smart contracts are fundamental components of blockchain ecosystems; however, their security remains a critical concern due to inherent vulnerabilities. While existing detection methodologies are predominantly syntax-oriented, targeting…

Cryptography and Security · Computer Science 2026-03-30 Ali Fattahdizaji , Mohammad Pishdar , Zarina Shukur

Over the past decade, different domain-specific languages (DSLs) were proposed to formally specify requirements stated in legal contracts, mainly for analysis but also for code generation. Symboleo is a promising language in that area.…

Software Engineering · Computer Science 2024-11-26 Mounira Nihad Zitouni , Amal Ahmed Anda , Sahil Rajpal , Daniel Amyot , John Mylopoulos

A multitude of interconnected risk events -- ranging from regulatory changes to geopolitical tensions -- can trigger ripple effects across firms. Identifying inter-firm risk relations is thus crucial for applications like portfolio…

Computation and Language · Computer Science 2025-12-01 Wei-Ning Chiu , Yu-Hsiang Wang , Andy Hsiao , Yu-Shiang Huang , Chuan-Ju Wang

Uncovering causal relationships in data is a major objective of data analytics. Causal relationships are normally discovered with designed experiments, e.g. randomised controlled trials, which, however are expensive or infeasible to be…

Artificial Intelligence · Computer Science 2016-11-01 Jiuyong Li , Saisai Ma , Thuc Duy Le , Lin Liu , Jixue Liu

Smart contracts have been increasingly used together with blockchains to automate financial and business transactions. However, many bugs and vulnerabilities have been identified in many contracts which raises serious concerns about smart…

Software Engineering · Computer Science 2020-05-21 Zhipeng Gao , Lingxiao Jiang , Xin Xia , David Lo , John Grundy

There is knowledge. There is belief. And there is tacit agreement.' 'We may talk about objects. We may talk about attributes of the objects. Or we may talk both about objects and their attributes.' This work inspects tacit agreements on…

Artificial Intelligence · Computer Science 2014-04-25 Ryuta Arisaka

We describe an automated method for identifying classes of morphologically related words in an on-line dictionary, and for linking individual senses in the derived form to one or more senses in the base form by means of morphological…

cmp-lg · Computer Science 2008-02-03 Joseph Pentheroudakis , Lucy Vanderwende , Microsoft Corporation

A contract is an economic tool used by a principal to incentivize one or more agents to exert effort on her behalf, by defining payments based on observable performance measures. A key challenge addressed by contracts -- known in economics…

Computer Science and Game Theory · Computer Science 2024-12-24 Paul Duetting , Michal Feldman , Inbal Talgam-Cohen

Natural language inference (NLI) is a fundamental NLP task, investigating the entailment relationship between two texts. Popular NLI datasets present the task at sentence-level. While adequate for testing semantic representations, they fall…

Computation and Language · Computer Science 2020-11-11 Hanmeng Liu , Leyang Cui , Jian Liu , Yue Zhang

AI and Law research has encountered legal interpretation in different ways, in the context of its evolving approaches and methodologies. Research on expert system has focused on legal knowledge engineering, with the goal of ensuring that…

Artificial Intelligence · Computer Science 2026-03-06 Václav Janeček , Giovanni Sartor

Semantics of logic programs has been given by proof theory, model theory and by fixpoint of the immediate-consequence operator. If clausal logic is a programming language, then it should also have a compositional semantics. Compositional…

Programming Languages · Computer Science 2007-05-23 M. H. van Emden

This paper focuses on how to take advantage of external relational knowledge to improve machine reading comprehension (MRC) with multi-task learning. Most of the traditional methods in MRC assume that the knowledge used to get the correct…

Computation and Language · Computer Science 2019-09-06 Jiangnan Xia , Chen Wu , Ming Yan

Smart Contract Reusable Components(SCRs) play a vital role in accelerating the development of business-specific contracts by promoting modularity and code reuse. However, the risks associated with SCR usage violations have become a growing…

Software Engineering · Computer Science 2025-11-17 Xingshuang Lin , Binbin Zhao , Jinwen Wang , Qinge Xie , Xibin Zhao , Shouling Ji

Legal relations serve as an important analytical framework for dispute resolution in civil cases. However, legal relations in Chinese civil cases remain underexplored in the field of legal AI, largely due to the absence of comprehensive…

Computation and Language · Computer Science 2026-04-21 Yida Cai , Ranjuexiao Hu , Huiyuan Xie , Chenyang Li , Yun Liu , Yuxiao Ye , Zhenghao Liu , Weixing Shen , Zhiyuan Liu

The growing adoption of large language models in legal practice brings both significant promise and serious risk. Legal professionals stand to benefit from AI that can reason over contracts, draft documents, and analyze sources at scale,…

Artificial Intelligence · Computer Science 2026-05-15 Olivia Peiyu Wang , Leilani H. Gilpin

Relation extraction (RE) aims to extract potential relations according to the context of two entities, thus, deriving rational contexts from sentences plays an important role. Previous works either focus on how to leverage the entity…

Computation and Language · Computer Science 2023-05-08 Xuming Hu , Zhaochen Hong , Chenwei Zhang , Irwin King , Philip S. Yu
‹ Prev 1 8 9 10 Next ›