This paper explores the space of (propositional) probabilistic logical
l...
The aim of this paper is to make clear and precise the relationship betw...
Many tasks in statistical and causal inference can be construed as probl...
This paper presents a topological learning-theoretic perspective on caus...
We propose a formalization of the three-tier causal hierarchy of associa...
We extend two kinds of causal models, structural equation models and
sim...
Recent authors have proposed analyzing conditional reasoning through a n...
This paper is a description of the CVC4 SMT solver as entered into the 2...
We propose analyzing conditional reasoning by appeal to a notion of
inte...