Probabilistic satisfiability and coherence checking through integer programming

DOI10.1007/978-3-642-39091-3_13MaRDI QIDQ5326414zbMATH OpenOpenAlexFDO

Authors Fabio Gagliardi Cozman, Lucas Fargoni di Ianni

Publication date 5 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-39091-3_13

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Integer programming (90C10)

Recommendations

• Probabilistic satisfiability and coherence checking through integer programming
• Probabilistic satisfiability
• Probabilistic logic under coherence: complexity and algorithms
• Probabilistic satisfiability with imprecise probabilities
• Algorithms for possibility assessments: coherence and extension

Cited in

(10)

• Generalized probabilistic satisfiability
• Towards classifying propositional probabilistic logics
• Probabilistic satisfiability and coherence checking through integer programming
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• Generalized probabilistic satisfiability and applications to modelling attackers with side-channel capabilities
• scientific article; zbMATH DE number 1335882 (Why is no real title available?)
• A propositional CONEstrip algorithm
• Syntactic reasoning with conditional probabilities in deductive argumentation
• A further step for efficient corrections of inconsistent probabilistic data sets
• Measuring inconsistency in probabilistic logic: rationality postulates and Dutch book interpretation

This page was built for publication: Probabilistic satisfiability and coherence checking through integer programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5326414)