English
Related papers

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

200 papers

Probabilistic databases (PDBs) model uncertainty in data in a quantitative way. In the established formal framework, probabilistic (relational) databases are finite probability spaces over relational database instances. This finiteness can…

Databases · Computer Science 2023-06-22 Martin Grohe , Peter Lindner

Recent trends in natural language processing research and annotation tasks affirm a paradigm shift from the traditional reliance on a single ground truth to a focus on individual perspectives, particularly in subjective tasks. In scenarios…

Computation and Language · Computer Science 2024-04-18 Olufunke O. Sarumi , Béla Neuendorf , Joan Plepi , Lucie Flek , Jörg Schlötterer , Charles Welch

AI-Powered database (AI-DB) is a novel relational database system that uses a self-supervised neural network, database embedding, to enable semantic SQL queries on relational tables. In this paper, we describe an architecture and…

Artificial Intelligence · Computer Science 2023-03-02 Prabhakar Kudva , Rajesh Bordawekar , Apoorva Nitsure

This paper reviews suggestions for changes to database technology coming from the work of many researchers, particularly those working with evolving big data. We discuss new approaches to remote data access and standards that better provide…

Databases · Computer Science 2023-08-15 Malcolm Crowe , Fritz Laux

In this paper, we show how to use a Relational Database Management System in support of Finite Element Analysis. We believe it is a new way of thinking about data management in well-understood applications to prepare them for two major…

Databases · Computer Science 2007-05-23 Gerd Heber , Jim Gray

We describe some recent approaches to score-based explanations for query answers in databases. The focus is on work done by the author and collaborators. Special emphasis is placed on the use of counterfactual reasoning for score…

Databases · Computer Science 2023-06-19 Leopoldo Bertossi

We present a general methodology for structuring textual data, represented as syntax trees enriched with semantic information, guided by a meta-model G defined as an attribute grammar. The method involves an evolution process where both the…

Databases · Computer Science 2025-03-07 Jacques Chabin , Mirian Halfeld-Ferrari , Nicolas Hiot

Scientific claim verification against tables typically requires predicting whether a claim is supported or refuted given a table. However, we argue that predicting the final label alone is insufficient: it reveals little about the model's…

Computation and Language · Computer Science 2025-09-18 Xanh Ho , Sunisth Kumar , Yun-Ang Wu , Florian Boudin , Atsuhiro Takasu , Akiko Aizawa

The database community has developed numerous tools and techniques for data curation and exploration, from declarative languages, to specialized techniques for data repair, and more. Yet, there is currently no consensus on how to best…

Databases · Computer Science 2016-06-02 Juliana Freire , Boris Glavic , Oliver Kennedy , Heiko Mueller

Provenance for database queries or scientific workflows is often motivated as providing explanation, increasing understanding of the underlying data sources and processes used to compute the query, and reproducibility, the capability to…

Programming Languages · Computer Science 2014-08-13 James Cheney , Amal Ahmed , Umut A. Acar

We provide a novel semantics for belief using simplicial complexes. In our framework, belief satisfies the \textsf{KD45} axioms and rules as well as the ``knowledge implies belief'' axiom ($K\phi \lthen B\phi$); in addition, we adopt the…

Logic in Computer Science · Computer Science 2025-12-17 Philip Sink , Adam Bjorndahl

Annotator disagreement is ubiquitous in natural language processing (NLP) tasks. There are multiple reasons for such disagreements, including the subjectivity of the task, difficult cases, unclear guidelines, and so on. Rather than simply…

Computation and Language · Computer Science 2023-10-24 Naihao Deng , Xinliang Frederick Zhang , Siyang Liu , Winston Wu , Lu Wang , Rada Mihalcea

We develop an inductive proof-technique to generate imperative programs for pointer data structures from behavioural specifications expressed in the Answer Set Programming (ASP) formalism. ASP is a non-monotonic logic based formalism that…

Logic in Computer Science · Computer Science 2020-08-14 Sarat Chandra Varanasi , Neeraj Mittal , Gopal Gupta

Algorithms of inference in a computer system oriented to input and semantic processing of text information are presented. Such inference is necessary for logical questions when the direct comparison of objects from a question and database…

Computation and Language · Computer Science 2012-02-02 Yuriy Ostapov

Deep learning based techniques have been recently used with promising results for data integration problems. Some methods directly use pre-trained embeddings that were trained on a large corpus such as Wikipedia. However, they may not…

Databases · Computer Science 2020-09-04 Riccardo Cappuzzo , Paolo Papotti , Saravanan Thirumuruganathan

Interacting with relational databases through natural language helps users of any background easily query and analyze a vast amount of data. This requires a system that understands users' questions and converts them to SQL queries…

Computation and Language · Computer Science 2018-04-27 Tao Yu , Zifan Li , Zilin Zhang , Rui Zhang , Dragomir Radev

To comply with emerging privacy laws and regulations, it has become common for applications like electronic health records systems (EHRs) to collect access logs, which record each time a user (e.g., a hospital employee) accesses a piece of…

Databases · Computer Science 2011-10-03 Daniel Fabbri , Kristen LeFevre

The vast quantity of data generated and captured every day has led to a pressing need for tools and processes to organize, analyze and interrelate this data. Automated reasoning and optimization tools with inherent support for data could…

Logic in Computer Science · Computer Science 2014-09-16 Panagiotis Manolios , Vasilis Papavasileiou , Mirek Riedewald

Recommender systems assist users in navigating complex information spaces and focus their attention on the content most relevant to their needs. Often these systems rely on user activity or descriptions of the content. Social annotation…

Information Retrieval · Computer Science 2016-08-24 Greg Zanotti , Miller Horvath , Lucas Nunes Barbosa , Venkata Trinadh Kumar Gupta Immedisetty , Jonathan Gemmell

Databases, and datasets more generally, evolve continuously through updates, transformations, versioning, schema changes, streaming operations, and other mechanisms. While prior work has noted connections among some of these areas, they…

Databases · Computer Science 2026-05-04 Amol Deshpande