A Probabilistic Logic with Polynomial Weight Formulas

DOI10.1007/978-3-540-77684-0_17MaRDI QIDQ5445304zbMATH OpenOpenAlexFDO

Authors Miodrag Rašković, Zoran Marković, Aleksandar Perović, Zoran Ognjanović

Publication date 4 March 2008

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

Full work available at URL https://doi.org/10.1007/978-3-540-77684-0_17

Mathematics Subject Classification ID

Probability and inductive logic (03B48)

Recommendations

• scientific article; zbMATH DE number 988760
• A logic for reasoning about qualitative probability
• A logic with conditional probability operators
• A logic for reasoning about probabilities
• scientific article; zbMATH DE number 1746426

Cited in

(17)

• Probabilistic logics with independence and confirmation
• On the decision problem for quantified probability logics
• Some New Probability Operators
• scientific article; zbMATH DE number 1187083 (Why is no real title available?)
• Finitely additive probability measures on classical propositional formulas definable by Gödel's t-norm and product t-norm
• Applications of Logics About Simple Probabilities
• Logics with Probability Operators
• Hierarchies of probabilistic logics
• A propositional probabilistic logic with discrete linear time for reasoning about evidence
• A logical consequence informed by probability
• On probabilistic and causal reasoning with summation operators
• Interpolative Boolean Logic
• An `elementary' perspective on reasoning about probability spaces
• Infinitary calculus for first-order logic of probability with distribution on the domain
• Probability logic and statistical relational artificial intelligence
• Sharpening complexity results in quantified probability logic
• Probabilistic Common Knowledge Among Infinite Number of Agents

This page was built for publication: A Probabilistic Logic with Polynomial Weight Formulas

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