English
Related papers

Related papers: On Verifying Causal Consistency

200 papers

We consider the problem of causal discovery (structure learning) from heterogeneous observational data. Most existing methods assume a homogeneous sampling scheme, which leads to misleading conclusions when violated in many applications. To…

Methodology · Statistics 2022-02-01 Fangting Zhou , Kejun He , Yang Ni

Consistency properties of concurrent computations, e.g., sequential consistency, linearizability, or eventual consistency, are essential for devising correct concurrent algorithms. In this paper, we present a logical formalization of such…

Logic in Computer Science · Computer Science 2013-05-13 Klaus v. Gleissenthall , Andrey Rybalchenko

Causal Abstraction (CA) theory provides a principled framework for relating causal models that describe the same system at different levels of granularity while ensuring interventional consistency between them. Recent methods for learning…

Machine Learning · Computer Science 2026-01-23 Yorgos Felekis , Theodoros Damoulas , Paris Giampouras

Causality is the relationship where one event contributes to the production of another, with the cause being partly responsible for the effect and the effect partly dependent on the cause. In this paper, we propose a novel and effective…

Logic in Computer Science · Computer Science 2024-09-04 Arshia Rafieioskouei , Borzoo Bonakdarpour

Machine learning is the science of discovering statistical dependencies in data, and the use of those dependencies to perform predictions. During the last decade, machine learning has made spectacular progress, surpassing human performance…

Machine Learning · Statistics 2016-07-13 David Lopez-Paz

Causal disentanglement aims to learn about latent causal factors behind data, holding the promise to augment existing representation learning methods in terms of interpretability and extrapolation. Recent advances establish identifiability…

Machine Learning · Computer Science 2024-12-25 Ryan Welch , Jiaqi Zhang , Caroline Uhler

The Causal Roadmap outlines a systematic approach to asking and answering questions of cause-and-effect: define the quantity of interest, evaluate needed assumptions, conduct statistical estimation, and carefully interpret results. To…

Methodology · Statistics 2024-05-30 Nerissa Nance , Maya L. Petersen , Mark van der Laan , Laura B. Balzer

The widespread applicability of analytics in cyber-physical systems has motivated research into causal inference methods. Predictive estimators are not sufficient when analytics are used for decision making; rather, the flow of causal…

Systems and Control · Computer Science 2017-03-22 Roy Dong , Eric Mazumdar , S. Shankar Sastry

In this work we establish and investigate connections between causes for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new research areas in databases,…

Databases · Computer Science 2016-10-25 Leopoldo Bertossi , Babak Salimi

Modern online services rely on data stores that replicate their data across geographically distributed data centers. Providing strong consistency in such data stores results in high latencies and makes the system vulnerable to network…

Distributed, Parallel, and Cluster Computing · Computer Science 2021-07-30 Manuel Bravo , Alexey Gotsman , Borja de Régil , Hengfeng Wei

Interactions between internet users are mediated by their devices and the common support infrastructure in data centres. Keeping track of causality amongst actions that take place in this distributed system is key to provide a seamless…

Distributed, Parallel, and Cluster Computing · Computer Science 2016-08-12 Seyed Hossein Haeri , Peter Van Roy , Carlos Baquero , Christopher Meiklejohn

In this paper we present a comprehensive view of prominent causal discovery algorithms, categorized into two main categories (1) assuming acyclic and no latent variables, and (2) allowing both cycles and latent variables, along with…

Artificial Intelligence · Computer Science 2017-09-13 Karamjit Singh , Garima Gupta , Vartika Tewari , Gautam Shroff

Prior work has shown that causal structure can be uniquely identified from observational data when these follow a structural equation model whose error terms have equal variances. We show that this fact is implied by an ordering among…

Methodology · Statistics 2021-05-25 Wenyu Chen , Mathias Drton , Y. Samuel Wang

Understanding causal relations is vital in scientific discovery. The process of causal structure learning involves identifying causal graphs from observational data to understand such relations. Usually, a central server performs this task,…

Machine Learning · Computer Science 2023-12-05 Zhaoyu Wang , Pingchuan Ma , Shuai Wang

Consistent answers to a query from a possibly inconsistent database are answers that are simultaneously retrieved from every possible repair of the database. Repairs are consistent instances that minimally differ from the original…

Databases · Computer Science 2021-10-20 Leopoldo Bertossi

Drawbacks of ignoring the causal mechanisms when performing imitation learning have recently been acknowledged. Several approaches both to assess the feasibility of imitation and to circumvent causal confounding and causal misspecifications…

Machine Learning · Computer Science 2023-06-13 Fateme Jamshidi , Sina Akbari , Negar Kiyavash

The fundamental tension between availability and consistency shapes the design of distributed storage systems. Classical results capture extreme points of this trade-off: the CAP theorem shows that strong models like linearizability…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-29 Hagit Attiya , Constantin Enea , Enrique Román-Calvo

Concurrent accesses to databases are typically encapsulated in transactions in order to enable isolation from other concurrent computations and resilience to failures. Modern databases provide transactions with various semantics…

Programming Languages · Computer Science 2021-01-25 Sidi Mohamed Beillahi , Ahmed Bouajjani , Constantin Enea

There are several existing algorithms that under appropriate assumptions can reliably identify a subset of the underlying causal relationships from observational data. This paper introduces the first computationally feasible score-based…

Artificial Intelligence · Computer Science 2012-07-02 Subramani Mani , Peter L. Spirtes , Gregory F. Cooper

We study causal inference in a multi-environment setting, in which the functional relations for producing the variables from their direct causes remain the same across environments, while the distribution of exogenous noises may vary. We…

Machine Learning · Computer Science 2017-05-29 AmirEmad Ghassami , Saber Salehkaleybar , Negar Kiyavash , Kun Zhang
‹ Prev 1 4 5 6 7 8 10 Next ›