Abstract
Probabilistic Sentential Decision Diagrams (PSDD) are discrete statistical models that allow the easy integration of probabilities and logic. In short, a PSDD is a logic circuit with a special syntax whose arcs (wires) are annotated with probabilities. The logic circuit e¿ciently specifies the distribution support as a logic constraint. This way, PSDDs can easily specify probability distr…