On the equivalence between CP-logic and LPADs

Conditional Probabilistic Event Logic is a probabilistic modeling language, which allows explicit representations of causal processes. Syntactically, this logic bears a strong resemblance to the probabilistic logic programming language of Logic Programming with Annotated Disjunctions. In this paper, we investigate the relation between the semantics of these two languages and prove an equivalence result for a certain class of theories. This result exposes an interesting relation between the well-founded semantics for logic programs and causal reasoning.nrpages: 10status: publishe