{"type":"ScholarlyArticle","title":"Models and Algorithms for Probabilistic and Bayesian Logic","authors":[{"name":"Pierre Hansen","slug":"pierre-hansen","given":"Pierre","family":"Hansen","affiliation":""},{"name":"Brigitte Jaumard","slug":"brigitte-jaumard","given":"Brigitte","family":"Jaumard","affiliation":""},{"name":"Guy-Blaise Douanya Nguetsé","slug":"guy-blaise-douanya-nguetse","given":"Guy-Blaise Douanya","family":"Nguetsé","affiliation":""},{"name":"Marcus Poggi de Aragão","slug":"marcus-poggi-de-aragao","given":"Marcus Poggi","family":"de Aragão","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/1995/239","pdf":"https://ijcai.org/proceedings/1995/0239.pdf","markdown":"https://ijcai.org/proceedings/1995/239.md","bibtex":"https://ijcai.org/proceedings/1995/bibtex/239","volume":{"slug":"1995","title":"Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 1995","url":"https://ijcai.org/proceedings/1995/","year":1995,"location":"Montréal, Québec, Canada","dates":"","editors":"Chris S. Mellish","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":"Reasoning Under Uncertainty","track":"Reasoning Under Uncertainty","number":239,"pages":{"first":1862,"last":1867},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}