English
Related papers

Related papers: Believe It or Not: Adding Belief Annotations to Da…

200 papers

Natural language explanations in recommender systems are often framed as a review generation task, leveraging user reviews as ground-truth supervision. While convenient, this approach conflates a user's opinion with the system's reasoning,…

Information Retrieval · Computer Science 2025-08-08 S. M. F. Sani , Asal Meskin , Mohammad Amanlou , Hamid R. Rabiee

The World Wide Web infrastructure together with its more than 2 billion users enables to store information at a rate that has never been achieved before. This is mainly due to the will of storing almost all end-user interactions performed…

Databases · Computer Science 2013-07-11 Olivier Curé , Myriam Lamolle , Chan Le Duc

In the current paper, we propose to fuse together stored data (tables) and their functional dependencies (FDs) inside a DBMS. We aim to make FDs first-class citizens: objects which can be queried and used to query data. Our idea is to allow…

Databases · Computer Science 2020-05-19 Nikita Bobrov , Kirill Smirnov , George Chernishev

In the context of AI-based decision support systems, explanations can help users to judge when to trust the AI's suggestion, and when to question it. In this way, human oversight can prevent AI errors and biased decision-making. However,…

Human-Computer Interaction · Computer Science 2025-08-12 Laura Spillner , Rachel Ringe , Robert Porzel , Rainer Malaka

Just because software developers say they believe in "X", that does not necessarily mean that "X" is true. As shown here, there exist numerous beliefs listed in the recent Software Engineering literature which are only supported by small…

Software Engineering · Computer Science 2020-04-10 N. C. Shrikanth , Tim Menzies

We show that database schema validation and update processing problems such as view updating, materialized view maintenance, integrity constraint checking, integrity constraint maintenance or condition monitoring can be classified as…

Databases · Computer Science 2007-05-23 Ernest Teniente , Toni Urpi

In this paper we present a tool for the formal analysis of applications built on top of replicated databases, where data integrity can be at stake. To address this issue, one can introduce synchronization in the system. Introducing…

Programming Languages · Computer Science 2020-10-15 Filipe Meirim , Mário Pereira , Carla Ferreira

In data science, there is a long history of using synthetic data for method development, feature selection and feature engineering. Our current interest in synthetic data comes from recent work in explainability. Today's datasets are…

Machine Learning · Computer Science 2020-07-22 Brian Barr , Ke Xu , Claudio Silva , Enrico Bertini , Robert Reilly , C. Bayan Bruss , Jason D. Wittenbach

Natural language user interfaces to database systems have been studied for several decades now. They have mainly focused on parsing and interpreting natural language queries to generate them in a formal database language. We envision the…

Databases · Computer Science 2009-09-15 Alkis Simitsis , Yannis Ioannidis

To support efficient, balanced news consumption, merging articles from diverse sources into one, potentially through crowdsourcing, could alleviate some hurdles. However, the merging process could also impact annotators' attitudes towards…

Human-Computer Interaction · Computer Science 2023-02-09 Md Momen Bhuiyan , Sang Won Lee , Nitesh Goyal , Tanushree Mitra

The task of text-to-SQL aims to convert a natural language question into its corresponding SQL query within the context of relational tables. Existing text-to-SQL parsers generate a "plausible" SQL query for an arbitrary user question,…

Computation and Language · Computer Science 2023-05-22 Bing Wang , Yan Gao , Zhoujun Li , Jian-Guang Lou

Various AI models are increasingly being considered as part of clinical decision-support tools. However, the trustworthiness of such models is rarely considered. Clinicians are more likely to use a model if they can understand and trust its…

Artificial Intelligence · Computer Science 2020-03-09 Evangelia Kyrimi , Somayyeh Mossadegh , Nigel Tai , William Marsh

Classical algorithms for query optimization presuppose the absence of inconsistencies or uncertainties in the database and exploit only valid semantic knowledge provided, e.g., by integrity constraints. Data inconsistency or uncertainty,…

Databases · Computer Science 2014-05-05 Federica Panella

This paper presents Tyche, a Python library to facilitate probabilistic reasoning in uncertain worlds through the construction, querying, and learning of belief models. Tyche uses aleatoric description logic (ADL), which provides…

Artificial Intelligence · Computer Science 2022-08-23 Padraig X. Lamont

Existing approaches to constructing training data for Natural Language Inference (NLI) tasks, such as for semi-structured table reasoning, are either via crowdsourcing or fully automatic methods. However, the former is expensive and…

Computation and Language · Computer Science 2022-10-25 Dibyakanti Kumar , Vivek Gupta , Soumya Sharma , Shuo Zhang

Private queries allow a user Alice to learn an element of a database held by a provider Bob without revealing which element she was interested in, while limiting her information about the other elements. We propose to implement private…

Recent query explanation systems help users understand anomalies in aggregation results by proposing predicates that describe input records that, if deleted, would resolve the anomalies. However, it can be difficult for users to understand…

Databases · Computer Science 2021-03-15 Zezhou Huang , Eugene Wu

The Open Annotation Core Data Model specifies an interoperable framework for creating associations between related resources, called annotations, using a methodology that conforms to the Architecture of the World Wide Web. Open Annotations…

Digital Libraries · Computer Science 2013-04-25 Robert Sanderson , Paolo Ciccarese , Herbert Van de Sompel

Merging beliefs requires the plausibility of the sources of the information to be merged. They are typically assumed equally reliable in lack of hints indicating otherwise; yet, a recent line of research spun from the idea of deriving this…

Artificial Intelligence · Computer Science 2021-03-23 Paolo Liberatore

Whether it is for audit or for recovery purposes, data checkpointing is an important problem of distributed database systems. Actually, transactions establish dependence relations on data checkpoints taken by data object managers. So, given…

Databases · Computer Science 2007-05-23 R. Baldoni , F. Quaglia , M. Raynal