Inconsistency measures for probabilistic logics
By Matthias Thimm. 2013
76 citations recorded by the source corpus.
Subfields: Artificial Intelligence, Probabilistic & Bayesian Methods, Automated Theorem Proving & Formal Methods
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Artificial Intelligence
- Hinrich Schütze
- Yoav Goldberg
- Mohit Bansal
- Eduard H. Hovy
- Yonatan Belinkov
- Yejin Choi
- Peter Clark
- Yanai Elazar
In Probabilistic & Bayesian Methods
- Hinrich Schütze
- Eduard H. Hovy
- Yoav Goldberg
- Abhilasha Ravichander
- Oyvind Tafjord
- Peter Clark
- Yanai Elazar
- Nora Kassner
In Automated Theorem Proving & Formal Methods
Citations in the corpus
- Measuring and Improving Consistency in Pretrained Language Models (2021, background): “Other work aims to quantify the degree to which KBs are inconsistent and detects inconsistent statements (Thimm, 2009; Muiño, 2011; Thimm, 2013).”
- Enriching a Model's Notion of Belief using a Persistent Memory (2021, methodology): “In the area of formal knowledge-bases (KBs), efficient algorithms have been developed for detecting, measuring, and resolving inconsistency (Hansen and Jaumard, 2000; Andersen and Pretolani, 2001; Thimm, 2009; Muiño, 2011; Thimm, 2013).”