---
title: "Models and Algorithms for Probabilistic and Bayesian Logic"
authors:
  - "Pierre Hansen"
  - "Brigitte Jaumard"
  - "Guy-Blaise Douanya Nguetsé"
  - "Marcus Poggi de Aragão"
doi: ""
url: "https://ijcai.org/proceedings/1995/239"
pdf: "https://ijcai.org/proceedings/1995/0239.pdf"
venue: "Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence"
year: 1995
pages: "1862-1867"
track: "Reasoning Under Uncertainty"
keywords:
---

# Models and Algorithms for Probabilistic and Bayesian Logic

Pierre Hansen, Brigitte Jaumard, Guy-Blaise Douanya Nguetsé, Marcus Poggi de Aragão

*Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence*, pages 1862-1867.

## Abstract

An overview is given, with new results , of mathematical models and algorithms for probabilistic logic, probabilistic entailment and various extensions. Analytical and numerical solutions are considered, the former leading to automated generation of theorems in the theory of probabilities. Ways to restore consistency and relationship with Bayesian networks are also studied.