English
Related papers

Related papers: Consistent Query Answering via ASP from Different …

200 papers

Answer Set Programming (ASP) is a well-known declarative formalism in logic programming. Efficient implementations made it possible to apply ASP in many scenarios, ranging from deductive databases applications to the solution of hard…

Logic in Computer Science · Computer Science 2020-02-19 Bernardo Cuteri , Carmine Dodaro , Francesco Ricca , Peter Schüller

Answer Set Programming (ASP) is a well-established declarative problem solving paradigm which became widely used in AI and recognized as a powerful tool for knowledge representation and reasoning (KRR), especially for its high…

Artificial Intelligence · Computer Science 2017-07-24 Francesco Calimeri , Davide Fuscà , Stefano Germano , Simona Perri , Jessica Zangari

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

Large language models (LLMs) have shown promise in table Question Answering (Table QA). However, extending these capabilities to multi-table QA remains challenging due to unreliable schema linking across complex tables. Existing methods…

Artificial Intelligence · Computer Science 2025-11-25 Xixi Wang , Miguel Costa , Jordanka Kovaceva , Shuai Wang , Francisco C. Pereira

Knowledge and expertise in the real-world can be disjointedly owned. To solve a complex question, collaboration among experts is often called for. In this paper, we propose CollabQA, a novel QA task in which several expert agents…

Artificial Intelligence · Computer Science 2022-01-25 Xiangkun Hu , Hang Yan , Qipeng Guo , Xipeng Qiu , Weinan Zhang , Zheng Zhang

Solving mathematical reasoning problems requires not only accurate access to relevant knowledge but also careful, multi-step thinking. However, current retrieval-augmented models often rely on a single perspective, follow inflexible search…

Artificial Intelligence · Computer Science 2025-11-03 Ali Asgarov , Umid Suleymanov , Aadyant Khatri

In answer set programming, inconsistencies arise when the constraints placed on a program become unsatisfiable. In this paper, we introduce a technique for dynamic consistency checking for our goal-directed method for computing answer sets,…

Logic in Computer Science · Computer Science 2020-02-19 Kyle Marple , Gopal Gupta

Personalization in Information Retrieval is a topic studied for a long time. Nevertheless, there is still a lack of high-quality, real-world datasets to conduct large-scale experiments and evaluate models for personalized search. This paper…

Information Retrieval · Computer Science 2024-03-18 Pranav Kasela , Marco Braga , Gabriella Pasi , Raffaele Perego

We propose and investigate a semantics for "peer data exchange systems" where different peers are related by data exchange constraints and trust relationships. These two elements plus the data at the peers' sites and their local integrity…

Databases · Computer Science 2016-08-03 Leopoldo Bertossi , Loreto Bravo

Question answering (QA) is an important natural language processing (NLP) task and has received much attention in academic research and industry communities. Existing QA studies assume that questions are raised by humans and answers are…

Computation and Language · Computer Science 2019-01-15 Qing Yin , Guan Luo , Xiaodong Zhu , Qinghua Hu , Ou Wu

Charts are very popular to analyze data and convey important insights. People often analyze visualizations to answer open-ended questions that require explanatory answers. Answering such questions are often difficult and time-consuming as…

Machine Learning · Computer Science 2022-10-14 Shankar Kantharaj , Xuan Long Do , Rixie Tiffany Ko Leong , Jia Qing Tan , Enamul Hoque , Shafiq Joty

Promptly and accurately answering questions on products is important for e-commerce applications. Manually answering product questions (e.g. on community question answering platforms) results in slow response and does not scale. Recent…

Computation and Language · Computer Science 2020-07-10 Shiwei Zhang , Xiuzhen Zhang , Jey Han Lau , Jeffrey Chan , Cecile Paris

We propose Answer Set Programming (ASP) as an approach for modeling and solving problems from the area of Declarative Process Mining (DPM). We consider here three classical problems, namely, Log Generation, Conformance Checking, and Query…

Artificial Intelligence · Computer Science 2022-09-27 Francesco Chiariello , Fabrizio Maria Maggi , Fabio Patrizi

Researchers produce thousands of scholarly documents containing valuable technical knowledge. The community faces the laborious task of reading these documents to identify, extract, and synthesize information. To automate information…

Computation and Language · Computer Science 2023-12-13 Tavish McDonald , Brian Tsan , Amar Saini , Juanita Ordonez , Luis Gutierrez , Phan Nguyen , Blake Mason , Brenda Ng

Recent work in semantic parsing for question answering has focused on long and complicated questions, many of which would seem unnatural if asked in a normal conversation between two humans. In an effort to explore a conversational QA…

Computation and Language · Computer Science 2016-11-07 Mohit Iyyer , Wen-tau Yih , Ming-Wei Chang

We study the complexity of consistent query answering on databases that may violate primary key constraints. A repair of such a database is any consistent database that can be obtained by deleting a minimal set of tuples. For every Boolean…

Databases · Computer Science 2018-10-09 Paraschos Koutris , Jef Wijsen

The Constraint Satisfaction Problem (CSP) framework offers a simple and sound basis for representing and solving simple decision problems, without uncertainty. This paper is devoted to an extension of the CSP framework enabling us to deal…

Artificial Intelligence · Computer Science 2013-02-21 Helene Fargier , Jerome Lang , Roger Martin-Clouaire , Thomas Schiex

Detecting small sets of relevant patterns from a given dataset is a central challenge in data mining. The relevance of a pattern is based on user-provided criteria; typically, all patterns that satisfy certain criteria are considered…

Artificial Intelligence · Computer Science 2020-02-19 Sergey Paramonov , Daria Stepanova , Pauli Miettinen

Open-domain question answering (QA) aims to find the answer to a question from a large collection of documents.Though many models for single-document machine comprehension have achieved strong performance, there is still much room for…

Computation and Language · Computer Science 2020-06-11 Mantong Zhou , Zhouxing Shi , Minlie Huang , Xiaoyan Zhu

Methods for query answering over incomplete knowledge graphs retrieve entities that are likely to be answers, which is particularly useful when such answers cannot be reached by direct graph traversal due to missing edges. However, existing…

Artificial Intelligence · Computer Science 2026-05-25 Daniel Daza , Alberto Bernardi , Luca Costabello , Christophe Gueret , Masoud Mansoury , Michael Cochez , Martijn Schut