← Search

Francisco Barahona

2 accepted papers

2023

Approximate Inference in Logical Credal Networks

IJCAI 2023poster

The Logical Credal Network or LCN is a recent probabilistic logic designed for effective aggregation and reasoning over multiple sources of imprecise knowledge. An LCN specifies a set of probability distributions over all interpretations of a set of logical formulas for which marginal and conditiona…

Cited by 3SourcePDFScholar
2022

Logical Credal Networks

NeurIPS 2022accept

We introduce Logical Credal Networks (or LCNs for short) -- an expressive probabilistic logic that generalizes prior formalisms that combine logic and probability. Given imprecise information represented by probability bounds and conditional probability bounds on logic formulas, an LCN specifies a s…

Cited by 6SourcePDFScholar