Towards classifying propositional probabilistic logics

DOI10.1016/J.JAL.2014.01.005zbMATH Open1352.03032OpenAlexW2013057115MaRDI QIDQ2250552FDOQ2250552

Authors: Glauber De Bona, Fabio Gagliardi Cozman, Marcelo Finger 

Publication date: 7 July 2014

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2014.01.005

Recommendations

• scientific article; zbMATH DE number 1904893
• Publication:3028979
• On classical logic with probability operators: a short survey
• scientific article; zbMATH DE number 1123884
• Probability logics

zbMATH Keywords

computational complexityexpressivityprobabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Cites Work

• Probabilistic logic
• A linear programming approach to reasoning about probabilities
• Merging the local and global approaches to probabilistic satisfiability
• Title not available (Why is that?)
• Inequalities. A journey into linear analysis
• Column Generation Methods for Probabilistic Logic
• Title not available (Why is that?)
• A hybrid method for probabilistic satisfiability
• Reasoning about knowledge and probability
• A logic for reasoning about probabilities
• Symbolic model checking for probabilistic processes
• An analysis of first-order logics of probability
• Some first-order probability logics
• Probability logics
• Some probability logics with new types of probability operators
• Probabilistic logics and probabilistic networks
• Uncertain Inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Probabilistic logic with independence
• Probabilistic satisfiability
• Probabilistic satisfiability
• Qualitative probability as an intensional logic
• Probability logic
• Probabilization of logics: completeness and decidability
• Probabilistic satisfiability and coherence checking through integer programming
• Solutions for hard and soft constraints using optimized probabilistic satisfiability
• Possible semantics for a common framework of probabilistic logics

Cited In (7)

• Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
• Quantitative logic reasoning
• The probability nesting game
• Syntactic reasoning with conditional probabilities in deductive argumentation
• An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version)
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics

This page was built for publication: Towards classifying propositional probabilistic logics

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