Probabilistic satisfiability and coherence checking through integer programming

Fabio Gagliardi Cozman; Lucas Fargoni Di Ianni

doi:10.1007/978-3-642-39091-3-13

Probabilistic satisfiability and coherence checking through integer programming

Fabio Gagliardi Cozman, Lucas Fargoni Di Ianni

Resultado de la investigación: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia

14 Citas (Scopus)

Resumen

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.

Idioma original	Inglés estadounidense
Título de la publicación alojada	Probabilistic satisfiability and coherence checking through integer programming
Páginas	145-156
Número de páginas	12
ISBN (versión digital)	9783642390906
DOI	https://doi.org/10.1007/978-3-642-39091-3-13
Estado	Publicada - 1 ago 2013
Publicado de forma externa	Sí
Evento	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) - Duración: 1 ene 2018 → …

Serie de la publicación

Nombre	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen	7958 LNAI
ISSN (versión impresa)	0302-9743

Conferencia

Conferencia	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Período	1/01/18 → …

Acceder al documento

10.1007/978-3-642-39091-3-13

Huella Profundice en los temas de investigación de 'Probabilistic satisfiability and coherence checking through integer programming'. En conjunto forman una huella única.

Citar esto

Cozman, F. G., & Di Ianni, L. F. (2013). Probabilistic satisfiability and coherence checking through integer programming. En Probabilistic satisfiability and coherence checking through integer programming (pp. 145-156). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7958 LNAI). https://doi.org/10.1007/978-3-642-39091-3-13

@inproceedings{04982ee3502848b189846fdb7cc26219,

title = "Probabilistic satisfiability and coherence checking through integer programming",

abstract = "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. {\textcopyright} 2013 Springer-Verlag Berlin Heidelberg.",

author = "Cozman, {Fabio Gagliardi} and {Di Ianni}, {Lucas Fargoni}",

year = "2013",

month = aug,

day = "1",

doi = "10.1007/978-3-642-39091-3-13",

language = "American English",

isbn = "9783642390906",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "145--156",

booktitle = "Probabilistic satisfiability and coherence checking through integer programming",

note = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) ; Conference date: 01-01-2018",

}

Cozman, FG & Di Ianni, LF 2013, Probabilistic satisfiability and coherence checking through integer programming. En Probabilistic satisfiability and coherence checking through integer programming. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7958 LNAI, pp. 145-156, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1/01/18. https://doi.org/10.1007/978-3-642-39091-3-13

Probabilistic satisfiability and coherence checking through integer programming. / Cozman, Fabio Gagliardi; Di Ianni, Lucas Fargoni.

Probabilistic satisfiability and coherence checking through integer programming. 2013. p. 145-156 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7958 LNAI).

Resultado de la investigación: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia

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 -

Cozman FG, Di Ianni LF. Probabilistic satisfiability and coherence checking through integer programming. En Probabilistic satisfiability and coherence checking through integer programming. 2013. p. 145-156. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). https://doi.org/10.1007/978-3-642-39091-3-13