A logic with higher order conditional probabilities

DOI10.2298/PIM0796141OMaRDI QIDQ3510452zbMATH OpenOpenAlexFDO

Authors Zoran Ognjanović, Nebojša Ikodinović

Publication date 2 July 2008

Published in Publications de l'Institut Math?matique (Belgrade) (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/117048

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

LCPprobability logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Logic in computer science (03B70) Logic in artificial intelligence (68T27) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Recommendations

• scientific article; zbMATH DE number 1122846
• scientific article; zbMATH DE number 1904893
• Logics in Artificial Intelligence
• A logic with conditional probability operators
• A first-order conditional probability logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A first-order logic for reasoning about higher-order upper and lower probabilities
• Conditional Probability Logic over Conditional Probability Spaces
• Probability logic with conditional expectation
• Reasoning about conditional probabilities in a higher-order-logic theorem prover

Cited in

(24)

• Probability logic with conditional expectation
• On the logic of high probability
• A logic for reasoning about probabilities
• A probabilistic logic between \(LPP_1\) and \(LPP_2\)
• Conditional probability logic, lifted Bayesian networks, and almost sure quantifier elimination
• Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers
• A first-order logic for reasoning about higher-order upper and lower probabilities
• A first-order conditional probability logic
• A p-adic probability logic
• A logic with conditional probability operators
• A first-order conditional probability logic with iterations
• Biprobability logic with conditional expectation
• \(p\)-adic probability logics
• scientific article; zbMATH DE number 1095142 (Why is no real title available?)
• scientific article; zbMATH DE number 1122846 (Why is no real title available?)
• scientific article; zbMATH DE number 1904893 (Why is no real title available?)
• A logic with measurable spaces for natural language semantics
• Logics with Probability Operators
• Some New Probability Operators
• Applications of Logics About Simple Probabilities
• Logics in Artificial Intelligence
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• A logic with probabilistic Jaccard similarity
• Past probabilities

This page was built for publication: A logic with higher order conditional probabilities

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