English
Related papers

Related papers: Combined Approximations for Uniform Operational Co…

200 papers

Performance-critical industrial applications, including large-scale program, network, and distributed system analyses, rely on fixed-point computations. The introduction of recursive common table expressions (CTEs) using the WITH RECURSIVE…

Programming Languages · Computer Science 2026-04-27 Anna Herlihy , Amir Shaikhha , Anastasia Ailamaki , Martin Odersky

Complex question-answering (CQA) involves answering complex natural-language questions on a knowledge base (KB). However, the conventional neural program induction (NPI) approach exhibits uneven performance when the questions have different…

Computation and Language · Computer Science 2020-11-02 Yuncheng Hua , Yuan-Fang Li , Gholamreza Haffari , Guilin Qi , Tongtong Wu

Question-answering (QA) is an important application of Information Retrieval (IR) and language models, and the latest trend is toward pre-trained large neural networks with embedding parameters. Augmenting QA performances with these LLMs…

Information Retrieval · Computer Science 2024-11-05 Lixiao Yang , Mengyang Xu , Weimao Ke

An inconsistent database is a database that violates one or more integrity constraints, such as functional dependencies. Consistent Query Answering is a rigorous and principled approach to the semantics of queries posed against inconsistent…

Databases · Computer Science 2019-05-09 Akhil A. Dixit , Phokion G. Kolaitis

We investigate the query evaluation problem for fixed queries over fully dynamic databases where tuples can be inserted or deleted. The task is to design a dynamic data structure that can immediately report the new result of a fixed query…

Databases · Computer Science 2017-09-29 Christoph Berkholz , Jens Keppeler , Nicole Schweikardt

Certain answers are a principled method for coping with uncertainty that arises in many practical data management tasks. Unfortunately, this method is expensive and may exclude useful (if uncertain) answers. Thus, users frequently resort to…

Databases · Computer Science 2019-04-02 Su Feng , Aaron Huber , Boris Glavic , Oliver Kennedy

Compared to standard retrieval tasks, passage retrieval for conversational question answering (CQA) poses new challenges in understanding the current user question, as each question needs to be interpreted within the dialogue context.…

Computation and Language · Computer Science 2022-10-31 Zeqiu Wu , Yi Luan , Hannah Rashkin , David Reitter , Hannaneh Hajishirzi , Mari Ostendorf , Gaurav Singh Tomar

The performance of Open-Domain Question Answering (ODQA) retrieval systems can exhibit sub-optimal behavior, providing text excerpts with varying degrees of irrelevance. Unfortunately, many existing ODQA datasets lack examples specifically…

Computation and Language · Computer Science 2024-03-05 Rustam Abdumalikov , Pasquale Minervini , Yova Kementchedjhieva

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

Conversational question answering (QA) requires the ability to correctly interpret a question in the context of previous conversation turns. We address the conversational QA task by decomposing it into question rewriting and question…

Information Retrieval · Computer Science 2020-10-26 Svitlana Vakulenko , Shayne Longpre , Zhucheng Tu , Raviteja Anantha

Preferences are a pivotal component in practical reasoning, especially in tasks that involve decision-making over different options or courses of action that could be pursued. In this work, we focus on repairing and querying inconsistent…

Databases · Computer Science 2024-05-28 Nina Pardal , Santiago Cifuentes , Edwin Pin , Maria Vanina Martinez , Sergio Abriola

In the presence of inconsistencies, repair techniques thrive to restore consistency by reasoning with several repairs. However, since the number of repairs can be large, standard inconsistent tolerant semantics usually yield few answers. In…

Artificial Intelligence · Computer Science 2019-10-02 César Prouté , Bruno Yun , Madalina Croitoru

CQA services are valuable sources of knowledge that can be used to find answers to users' information needs. In these services, question retrieval aims to help users with their information needs by finding similar questions to theirs.…

Information Retrieval · Computer Science 2024-11-26 Yasin Ghafourian , Sajad Movahedi , Azadeh Shakery

In many real-world scenarios, query results must satisfy domain-specific constraints. For instance, a minimum percentage of interview candidates selected based on their qualifications should be female. These requirements can be expressed as…

Databases · Computer Science 2025-11-04 Shatha Algarni , Boris Glavic , Seokki Lee , Adriane Chapman

Statistical query (SQ) algorithms are algorithms that have access to an {\em SQ oracle} for the input distribution $D$ instead of i.i.d.~ samples from $D$. Given a query function $\phi:X \rightarrow [-1,1]$, the oracle returns an estimate…

Machine Learning · Computer Science 2017-04-18 Vitaly Feldman

This paper studies the completeness of conjunctive queries over a partially complete database and the approximation of incomplete queries. Given a query and a set of completeness rules (a special kind of tuple generating dependencies) that…

Databases · Computer Science 2024-07-31 Julien Corman , Werner Nutt , Ognjen Savković

In this tutorial, we will survey known results on the complexity of conjunctive query evaluation in different settings, ranging from Boolean queries over counting to more complex models like enumeration and direct access. A particular focus…

Databases · Computer Science 2025-06-24 Stefan Mengel

We study consistent query answering via different graph representations. First, we introduce solution-conflict hypergraphs in which nodes represent facts and edges represent either conflicts or query solutions. Considering a monotonic query…

Databases · Computer Science 2024-12-12 Teemu Hankala , Miika Hannula , Yasir Mahmood , Arne Meier

In ontology-mediated querying, description logic (DL) ontologies are used to enrich incomplete data with domain knowledge which results in more complete answers to queries. However, the evaluation of ontology-mediated queries (OMQs) over…

Databases · Computer Science 2020-07-30 Pablo Barcelo , Cristina Feier , Carsten Lutz , Andreas Pieris

Complex Query Answering (CQA) is an important reasoning task on knowledge graphs. Current CQA learning models have been shown to be able to generalize from atomic operators to more complex formulas, which can be regarded as the…

Computation and Language · Computer Science 2021-11-08 Zihao Wang , Hang Yin , Yangqiu Song