English
Related papers

Related papers: Complexity of Consistent Query Answering in Databa…

200 papers

Deep Neural Networks (DNNs) often rely on statistical correlations rather than causal reasoning, limiting their robustness and interpretability. While testing methods can identify failures, effective debugging and repair remain challenging.…

Machine Learning · Computer Science 2025-04-28 Fatemeh Vares , Brittany Johnson

Proprietary corporate documents contain rich domain-specific knowledge, but their overwhelming volume and disorganized structure make it difficult even for employees to access the right information when needed. For example, in the…

Artificial Intelligence · Computer Science 2025-08-28 Nayoung Choi , Grace Byun , Andrew Chung , Ellie S. Paek , Shinsun Lee , Jinho D. Choi

We consider the evaluation of first-order queries over classes of databases that have bounded degree and low degree. More precisely, given a query and a database, we want to efficiently test whether there is a solution, count how many…

Logic in Computer Science · Computer Science 2020-10-08 Alexandre Vigny

Semantic parsing solves knowledge base (KB) question answering (KBQA) by composing a KB query, which generally involves node extraction (NE) and graph composition (GC) to detect and connect related nodes in a query. Despite the strong…

Computation and Language · Computer Science 2022-07-11 Minhao Zhang , Ruoyu Zhang , Yanzeng Li , Lei Zou

An essential requirement for a real-world Knowledge Base Question Answering (KBQA) system is the ability to detect the answerability of questions when generating logical forms. However, state-of-the-art KBQA models assume all questions to…

Computation and Language · Computer Science 2024-11-05 Prayushi Faldu , Indrajit Bhattacharya , Mausam

Audio question answering (AQA) requires models to understand acoustic content and perform complex reasoning. Current models struggle with dataset imbalances and unstable training dynamics. This work combines curriculum learning with…

Sound · Computer Science 2025-07-10 Gijs Wijngaard , Elia Formisano , Michele Esposito , Michel Dumontier

Large language models frequently produce mutually inconsistent answers when reasoning over multiple related queries. We study case-file logical consistency: maintaining a globally satisfiable belief state across interdependent queries. We…

Artificial Intelligence · Computer Science 2026-04-17 Rohit Kumar Salla , Ramya Manasa Amancherla , Manoj Saravanan

Recent advancements in Blind Image Restoration (BIR) methods, based on Generative Adversarial Networks and Diffusion Models, have significantly improved visual quality. However, they present significant challenges for Image Quality…

Image and Video Processing · Electrical Eng. & Systems 2025-08-11 Xiaojun Tang , Jingru Wang , Guangwei Huang , Guannan Chen , Rui Zheng , Lian Huai , Yuyu Liu , Xingqun Jiang

Datasets often contain values that naturally reside in a metric space: numbers, strings, geographical locations, machine-learned embeddings in a Euclidean space, and so on. We study the computational complexity of repairing inconsistent…

Databases · Computer Science 2024-09-26 Youri Kaminsky , Benny Kimelfeld , Ester Livshits , Felix Naumann , David Wajc

In this paper, we consider first-order logic over unary functions and study the complexity of the evaluation problem for conjunctive queries described by such kind of formulas. A natural notion of query acyclicity for this language is…

Logic in Computer Science · Computer Science 2007-05-23 Arnaud Durand , Etienne Grandjean

Deep reading models for question-answering have demonstrated promising performance over the last couple of years. However current systems tend to learn how to cleverly extract a span of the source document, based on its similarity with the…

Computation and Language · Computer Science 2018-10-30 Quentin Grail , Julien Perez

Several research thrusts in the area of data management have focused on understanding how changes in the data affect the output of a view or standing query. Example applications are explaining query results, propagating updates through…

Databases · Computer Science 2015-07-03 Cibele Freire , Wolfgang Gatterbauer , Neil Immerman , Alexandra Meliou

In order to converge in the presence of concurrent updates, modern eventually consistent replication systems rely on causality information and operation semantics. It is relatively easy to use semantics of high-level operations on…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-11-17 Marek Zawirski , Carlos Baquero , Annette Bieniusa , Nuno Preguiça , Marc Shapiro

We introduce CARETS, a systematic test suite to measure consistency and robustness of modern VQA models through a series of six fine-grained capability tests. In contrast to existing VQA test sets, CARETS features balanced question…

Computation and Language · Computer Science 2022-03-16 Carlos E. Jimenez , Olga Russakovsky , Karthik Narasimhan

We embark on a study of the consistent answers of queries over databases annotated with values from a naturally ordered positive semiring. In this setting, the consistent answers of a query are defined as the minimum of the semiring values…

Databases · Computer Science 2025-04-04 Phokion G. Kolaitis , Nina Pardal , Jonni Virtema , Jef Wijsen

We study privacy-preserving query answering in Description Logics (DLs). Specifically, we consider the approach of controlled query evaluation (CQE) based on the notion of instance indistinguishability. We derive data complexity results for…

Artificial Intelligence · Computer Science 2020-04-27 Gianluca Cima , Domenico Lembo , Riccardo Rosati , Domenico Fabio Savo

Question Answering (QA) research is a significant and challenging task in Natural Language Processing. QA aims to extract an exact answer from a relevant text snippet or a document. The motivation behind QA research is the need of user who…

Information Retrieval · Computer Science 2018-10-10 Lokesh Kumar Sharma , Namita Mittal

Motivated by the recently shown connection between self-attention and (kernel) principal component analysis (PCA), we revisit the fundamentals of PCA. Using the difference-of-convex (DC) framework, we present several novel formulations and…

Machine Learning · Computer Science 2025-10-22 Jan Quan , Johan Suykens , Panagiotis Patrinos

The containment rate of query Q1 in query Q2 over database D is the percentage of Q1's result tuples over D that are also in Q2's result over D. We directly estimate containment rates between pairs of queries over a specific database. For…

Databases · Computer Science 2019-08-22 Rojeh Hayek , Oded Shmueli

Conjunctive queries are basic and heavily studied database queries; in relational algebra, they are the select-project-join queries. In this article, we study the fundamental problem of counting, given a conjunctive query and a relational…

Computational Complexity · Computer Science 2015-01-22 Hubie Chen , Stefan Mengel
‹ Prev 1 8 9 10 Next ›