CP-logic: A Language of Causal Probabilistic Events and Its Relation to Logic Programming

Joost Vennekens, Marc Denecker, Maurice Bruynooghe

This papers develops a logical language for representing probabilistic causal laws. Our interest in such a language is twofold. First, it can be motivated as a fundamental study of…