The original Halpern-Pearl definition of causality [Halpern and Pearl, 2001] was updated in
the journal version of the paper [Halpern and Pearl, 2005] to deal with some problems …

Detecting and understanding reasons for defects and inadvertent behavior in software is
challenging due to their increasing complexity. In configurable software systems, the …

Tactile Internet with Human-in-the-Loop describes the change from the current Internet,
which focuses on the democratization of information independent of location or time, to the …

Causal effect identification considers whether an interventional probability distribution can
be uniquely determined from a passively observed distribution in a given causal structure. If …

Responsibility attribution is a key concept of accountable multi-agent decision making.
Given a sequence of actions, responsibility attribution mechanisms quantify the impact of …

The definitions of actual cause given by Pearl and Halpern (HP) in the framework of causal
models provided vital computational insight into an old philosophical problem but by no …

Many objectives can be achieved (or may be achieved more effectively) only by a group of
agents executing a team plan. If a team plan fails, it is often of interest to determine what …

Lewis' theory of counterfactuals is the foundation of many contemporary notions of causality.
In this paper, we extend this theory in the temporal direction to enable symbolic …

We study formal languages which are capable of fully expressing quantitative probabilistic
reasoning and do-calculus reasoning for causal effects, from a computational complexity …

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 …