From probability to causality in probabilistic logic programming
This work derives conditions under which the probabilistic information encoded in a program determines a unique causal order and incorporates constraints arising from relational structure by taking into account prescribed sets of causal symmetries induced by the underlying relational vocabulary.