LCN or Logical Credal Networks is a new probabilistic logic that allows specifying conditional probability bounds on first-order or propositional logic formulae. - View it on GitHub