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 congresoContribució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 originalInglés estadounidense
Título de la publicación alojadaProbabilistic satisfiability and coherence checking through integer programming
Páginas145-156
Número de páginas12
ISBN (versión digital)9783642390906
DOI
EstadoPublicada - 1 ago 2013
Publicado de forma externa
EventoLecture 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

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

Conferencia

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

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