Towards classifying propositional probabilistic logics

DOI10.1016/j.jal.2014.01.005zbMath1352.03032OpenAlexW2013057115MaRDI QIDQ2250552

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)

Related Items (6)

Inconsistency-tolerant reasoning over linear probabilistic knowledge bases ⋮ Syntactic reasoning with conditional probabilities in deductive argumentation ⋮ Quantitative Logic Reasoning ⋮ An overview of algorithmic approaches to compute optimum entropy distributions in the expert system shell MECore (extended version) ⋮ A Tool for Probabilistic Reasoning Based on Logic Programming and First-Order Theories Under Stable Model Semantics ⋮ Probabilistic Reasoning in the Description Logic $$\mathcal {ALCP}$$ with the Principle of Maximum Entropy

Cites Work

• An analysis of first-order logics of probability
• Probabilistic logic
• Probabilistic satisfiability
• Qualitative probability as an intensional logic
• A linear programming approach to reasoning about probabilities
• Some first-order probability logics
• A logic for reasoning about probabilities
• Probabilization of logics: completeness and decidability
• Merging the local and global approaches to probabilistic satisfiability
• Probabilistic logic with independence
• Probabilistic logics and probabilistic networks
• Column Generation Methods for Probabilistic Logic
• Some probability logics with new types of probability operators
• Reasoning about knowledge and probability
• Uncertain Inference
• Symbolic model checking for probabilistic processes
• A Hybrid Method for Probabilistic Satisfiability
• Probabilistic Satisfiability and Coherence Checking through Integer Programming
• Solutions for Hard and Soft Constraints Using Optimized Probabilistic Satisfiability
• Best Possible Inequalities for the Probability of a Logical Function of Events
• Probability logic
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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