1. Albarghouthi, A., D’Antoni, L., Drews, S., Nori, A.V.: Quantifying program bias. CoRR, abs/1702.05437 (2017)
2. Bach, F.R., Jordan, M.I.: Thin junction trees. In: Advances in Neural Information Processing Systems, pp. 569–576 (2002)
3. Banihashemi, B., De Giacomo, G., Lespérance, Y.: Abstraction in situation calculus action theories. In: AAAI, pp. 1048–1055 (2017)
4. Barrett, C., Sebastiani, R., Seshia, S.A., Tinelli, C.: Satisfiability modulo theories. In: Handbook of Satisfiability, chap. 26, pp. 825–885. IOS Press (2009)
5. Belle, V.: Logic meets probability: towards explainable AI systems for uncertain worlds. In: IJCAI (2017)