TY - GEN
T1 - Probabilistic satisfiability and coherence checking through integer programming
AU - Cozman, Fabio Gagliardi
AU - Di Ianni, Lucas Fargoni
PY - 2013/8/1
Y1 - 2013/8/1
N2 - This paper presents algorithms based on integer programming, both for probabilistic satisfiability and coherence checking. That is, we consider probabilistic assessments for both standard probability measures (Kolmogorovian setup) and full conditional measures (de Finettian coherence setup), and in both cases verify satisfiability/coherence using integer programming. We present empirical evaluation of our method, with evidence of phase-transitions. © 2013 Springer-Verlag Berlin Heidelberg.
AB - This paper presents algorithms based on integer programming, both for probabilistic satisfiability and coherence checking. That is, we consider probabilistic assessments for both standard probability measures (Kolmogorovian setup) and full conditional measures (de Finettian coherence setup), and in both cases verify satisfiability/coherence using integer programming. We present empirical evaluation of our method, with evidence of phase-transitions. © 2013 Springer-Verlag Berlin Heidelberg.
UR - https://www.scopus.com/inward/record.uri?partnerID=HzOxMe3b&scp=84880725802&origin=inward
UR - https://www.scopus.com/inward/citedby.uri?partnerID=HzOxMe3b&scp=84880725802&origin=inward
U2 - 10.1007/978-3-642-39091-3-13
DO - 10.1007/978-3-642-39091-3-13
M3 - Conference contribution
SN - 9783642390906
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 145
EP - 156
BT - Probabilistic satisfiability and coherence checking through integer programming
T2 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Y2 - 1 January 2018
ER -