English
Related papers

Related papers: PUG: A Framework and Practical Implementation for …

200 papers

Increasingly modern data science platforms today have non-intrusive and extensible provenance ingestion mechanisms to collect rich provenance and context information, handle modifications to the same file using distinguishable versions, and…

Databases · Computer Science 2018-10-17 Hui Miao , Amol Deshpande

We study in this paper provenance information for queries with aggregation. Provenance information was studied in the context of various query languages that do not allow for aggregation, and recent work has suggested to capture provenance…

Databases · Computer Science 2015-03-17 Yael Amsterdamer , Daniel Deutch , Val Tannen

Data analytics often involves hypothetical reasoning: repeatedly modifying the data and observing the induced effect on the computation result of a data-centric application. Previous work has shown that fine-grained data provenance can help…

Databases · Computer Science 2020-07-13 Daniel Deutch , Yuval Moskovitch , Noam Rinetzky

We present ProvG-Searcher, a novel approach for detecting known APT behaviors within system security logs. Our approach leverages provenance graphs, a comprehensive graph representation of event logs, to capture and depict data provenance…

Cryptography and Security · Computer Science 2023-12-20 Enes Altinisik , Fatih Deniz , Husrev Taha Sencar

As users become confronted with a deluge of provenance data, dedicated techniques are required to make sense of this kind of information. We present Aggregation by Provenance Types, a provenance graph analysis that is capable of generating…

Databases · Computer Science 2015-04-13 Luc Moreau

Many real-world planning domains involve diverse information sources, external entities, and variable-reliability agents, all of which may impact the confidence, risk, and sensitivity of plans. Humans reviewing a plan may lack context about…

Artificial Intelligence · Computer Science 2020-11-04 Scott E. Friedman , Robert P. Goldman , Richard G. Freedman , Ugur Kuter , Christopher Geib , Jeffrey Rye

One challenge in fact checking is the ability to improve the transparency of the decision. We present a fact checking method that uses reference information in knowledge graphs (KGs) to assess claims and explain its decisions. KGs contain a…

Databases · Computer Science 2019-06-24 Naser Ahmadi , Joohyung Lee , Paolo Papotti , Mohammed Saeed

To answer database queries over incomplete data the gold standard is finding certain answers: those that are true regardless of how incomplete data is interpreted. Such answers can be found efficiently for conjunctive queries and their…

Databases · Computer Science 2023-10-20 Amélie Gheerbrant , Leonid Libkin , Alexandra Rogova , Cristina Sirangelo

Multiple lines of research have developed Natural Language (NL) interfaces for formulating database queries. We build upon this work, but focus on presenting a highly detailed form of the answers in NL. The answers that we present are…

Databases · Computer Science 2020-07-10 Daniel Deutch , Nave Frost , Amir Gilad

Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been…

Logic in Computer Science · Computer Science 2010-06-09 James Cheney

If-then rules are widely used to explain machine learning models; e.g., "if employed = no, then loan application = rejected." We present the first proposal to apply rules to explain the emerging class of large language models (LLMs) with…

Computation and Language · Computer Science 2026-03-20 Joel Rorseth , Parke Godfrey , Lukasz Golab , Divesh Srivastava , Jarek Szlichta

Provenance, or information about the sources, derivation, custody or history of data, has been studied recently in a number of contexts, including databases, scientific workflows and the Semantic Web. Many provenance mechanisms have been…

Programming Languages · Computer Science 2010-04-20 James Cheney

In this paper, we investigate the problem of reasoning over natural language statements. Prior neural based approaches do not explicitly consider the inter-dependency among answers and their proofs. In this paper, we propose PRobr, a novel…

Computation and Language · Computer Science 2021-07-07 Changzhi Sun , Xinbo Zhang , Jiangjie Chen , Chun Gan , Yuanbin Wu , Jiaze Chen , Hao Zhou , Lei Li

In conversational question answering, users express their information needs through a series of utterances with incomplete context. Typical ConvQA methods rely on a single source (a knowledge base (KB), or a text corpus, or a set of…

Information Retrieval · Computer Science 2023-07-19 Philipp Christmann , Rishiraj Saha Roy , Gerhard Weikum

Verifying the veracity of claims requires reasoning over a large knowledge base, often in the form of corpora of trustworthy sources. A common approach consists in retrieving short portions of relevant text from the reference documents and…

Information Retrieval · Computer Science 2021-09-14 Misael Mongiovì , Aldo Gangemi

Provenance, or information about the origin or derivation of data, is important for assessing the trustworthiness of data and identifying and correcting mistakes. Most prior implementations of data provenance have involved heavyweight…

Programming Languages · Computer Science 2017-08-23 Stefan Fehrenbach , James Cheney

Provenance templates are now a recognised methodology for the construction of data provenance records. Each template defines the provenance of a domain-specific action in abstract form, which may then be instantiated as required by a single…

Cryptography and Security · Computer Science 2020-06-22 Elliot Fairweather , Rudolf Wittner , Martin Chapman , Petr Holub , Vasa Curcin

Defeasible reasoning is the mode of reasoning where conclusions can be overturned by taking into account new evidence. A commonly used method in cognitive science and logic literature is to handcraft argumentation supporting inference…

Computation and Language · Computer Science 2021-06-01 Aman Madaan , Dheeraj Rajagopal , Niket Tandon , Yiming Yang , Eduard Hovy

This paper introduces provGen, a generator aimed at producing large synthetic provenance graphs with predictable properties and of arbitrary size. Synthetic provenance graphs serve two main purposes. Firstly, they provide a variety of…

Databases · Computer Science 2014-06-11 Hugo Firth , Paolo Missier

Provenance is information about the origin, derivation, ownership, or history of an object. It has recently been studied extensively in scientific databases and other settings due to its importance in helping scientists judge data validity,…

Programming Languages · Computer Science 2008-12-03 James Cheney , Umut Acar , Amal Ahmed