Towards classifying propositional probabilistic logics

DOI10.1016/J.JAL.2014.01.005MaRDI QIDQ2250552zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

computational complexityexpressivityprobabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

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

Cites work

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

Cited in

(7)

• Quantitative logic reasoning
• Probabilistic reasoning in the description logic \(\mathcal {ALCP}\) with the principle of maximum entropy
• A tool for probabilistic reasoning based on logic programming and first-order theories under stable model semantics
• Inconsistency-tolerant reasoning over linear probabilistic knowledge bases
• 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)
• The probability nesting game

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)