English
Related papers

Related papers: Contract Statements Knowledge Service for Chatbots

200 papers

Building multi-turn information-seeking conversation systems is an important and challenging research topic. Although several advanced neural text matching models have been proposed for this task, they are generally not efficient for…

Computation and Language · Computer Science 2018-06-15 Minghui Qiu , Liu Yang , Feng Ji , Weipeng Zhao , Wei Zhou , Jun Huang , Haiqing Chen , W. Bruce Croft , Wei Lin

The growing demand for software developers and the increasing development complexity have emphasized the need for support in software engineering projects. This is especially relevant in light of advancements in artificial intelligence,…

Software Engineering · Computer Science 2023-05-02 Glaucia Melo

We introduce a basic model for contracts. Our model extends event structures with a new relation, which faithfully captures the circular dependencies among contract clauses. We establish whether an agreement exists which respects all the…

Logic in Computer Science · Computer Science 2013-02-27 Massimo Bartoletti , Tiziana Cimoli , G. Michele Pinna , Roberto Zunino

A blockchain-based smart contract or a "smart contract" for short, is a computer program intended to digitally facilitate the negotiation or contractual terms directly between users when certain conditions are met. With the advance in…

Computers and Society · Computer Science 2019-06-11 Yining Hu , Madhusanka Liyanage , Ahsan Mansoor , Kanchana Thilakarathna , Guillaume Jourjon , Aruna Seneviratne

This paper discusses how model checking, a technique used for the verification of behavioural requirements of dynamic systems, can be usefully deployed for the verification of contracts. A process view of agreements between parties is…

Software Engineering · Computer Science 2007-05-23 Aspassia Daskalopulu

How decisions are being made is of utmost importance within organizations. The explicit representation of business logic facilitates identifying and adopting the criteria needed to make a particular decision and drives initiatives to…

Software Engineering · Computer Science 2024-05-17 Bedilia Estrada-Torres , Adela del-Río-Ortega , Manuel Resinas

The ubiquity of machine learning based predictive models in modern society naturally leads people to ask how trustworthy those models are? In predictive modeling, it is quite common to induce a trade-off between accuracy and…

Machine Learning · Computer Science 2019-04-05 John Mitros , Brian Mac Namee

Textual conversational agent or chatbots' development gather tremendous traction from both academia and industries in recent years. Nowadays, chatbots are widely used as an agent to communicate with a human in some services such as booking…

Computation and Language · Computer Science 2019-06-25 Endang Wahyu Pamungkas

As the wide adoption of intelligent chatbot in human daily life, user demands for such systems evolve from basic task-solving conversations to more casual and friend-like communication. To meet the user needs and build emotional bond with…

Computation and Language · Computer Science 2020-01-06 Danning Zheng , Ruihua Song , Tianran Hu , Hao Fu , Jin Zhou

Smart Contract Templates support legally-enforceable smart contracts, using operational parameters to connect legal agreements to standardised code. In this paper, we explore the design landscape of potential formats for storage and…

Computers and Society · Computer Science 2016-12-16 Christopher D. Clack , Vikram A. Bakshi , Lee Braine

Open-domain dialog systems (also known as chatbots) have increasingly drawn attention in natural language processing. Some of the recent work aims at incorporating affect information into sequence-to-sequence neural dialog modeling, making…

Computation and Language · Computer Science 2020-06-25 Yubo Xie , Ekaterina Svikhnushina , Pearl Pu

Contract scheduling is a general technique that allows to design a system with interruptible capabilities, given an algorithm that is not necessarily interruptible. Previous work on this topic has largely assumed that the interruption is a…

Artificial Intelligence · Computer Science 2020-11-26 Spyros Angelopoulos , Shahin Kamali

We argue that there is a hierarchy of levels describing to that particular level relevant features of reality behind the content and behavior of blockchain and smart contracts in their realistic deployment. Choice, design, audit and legal…

Computers and Society · Computer Science 2021-07-30 Zoran Škoda

Self-generated skills for web agents are often unstable and can even hurt performance relative to direct acting. We argue that the key bottleneck is not only skill generation quality, but the fact that web skills remain implicit and…

Software Engineering · Computer Science 2026-04-16 Zijian Lu , Yiping Zuo , Yupeng Nie , Xin He , Weibei Fan , Lianyong Qi , Shi Jin

Contract review is a complex and time-intensive task that typically demands specialized legal expertise, rendering it largely inaccessible to non-experts. Moreover, legal interpretation is rarely straightforward-ambiguity is pervasive, and…

Computation and Language · Computer Science 2025-09-23 Petros Raptopoulos , Giorgos Filandrianos , Maria Lymperaiou , Giorgos Stamou

Advancements in artificial intelligence (AI), speech recognition systems (ASR), and machine learning have enabled the development of intelligent computer programs called chatbots. Many chatbots have been proposed to provide different…

Cryptography and Security · Computer Science 2020-12-03 Sofian Hamad , Taoufik Yeferny

The advent of increasingly powerful language models has raised expectations for language-based interactions. However, controlling these models is a challenge, emphasizing the need to be able to investigate the feasibility and value of their…

The blockchain constitutes a technology-based, rather than social or regulation based, means to lower uncertainty about one another in order to exchange value. However, its use may very well also lead to increased complexity resulting from…

Computers and Society · Computer Science 2018-01-09 Henry Kim , Marek Laskowski

Research on blockchains addresses multiple issues, with one being writing smart contracts. In our previous research we described methodology and a tool to generate, in automated fashion, smart contracts from BPMN models. The generated smart…

Software Engineering · Computer Science 2025-05-29 C. G. Liu , P. Bodorik , D. Jutla

Many users communicate with chatbots and AI assistants in order to help them with various tasks. A key component of the assistant is the ability to understand and answer a user's natural language questions for question-answering (QA).…

Computation and Language · Computer Science 2020-06-08 Anthony Colas , Trung Bui , Franck Dernoncourt , Moumita Sinha , Doo Soon Kim
‹ Prev 1 4 5 6 7 8 10 Next ›