Probabilistic Logic and Induction

DOI10.1093/LOGCOM/EXI032MaRDI QIDQ5696305zbMATH OpenOpenAlexFDO

Authors Sebastiaan A. Terwijn

Publication date 18 October 2005

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/775312b786c1450f3a011ca115ec02f485a885b3

zbMATH Keywords

approximate truthinductive inference of first-order formulas from atomic truthspac-learningprobabilistic logic

Mathematics Subject Classification ID

Probability and inductive logic (03B48) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Probabilistic logic
• Probability logic, logical probability, and inductive support
• A logic for inductive probabilistic reasoning
• scientific article; zbMATH DE number 4016864
• Probability logics
• scientific article; zbMATH DE number 1735234
• Inferences in probability logic
• scientific article; zbMATH DE number 1123884
• Probabilistic reasoning in a classical logic
• scientific article; zbMATH DE number 1749201

Cited in

(18)

• Probabilistic logic
• Probability logic, logical probability, and inductive support
• Probabilistic interpretation of logical inference in possibility theory
• A logic for inductive probabilistic reasoning
• Probabilistic rough induction
• Computational hardness of validity in probability logic
• Decidability and Undecidability in Probability Logic
• scientific article; zbMATH DE number 67612 (Why is no real title available?)
• Computability of validity and satisfiability in probability logics over finite and countable models
• Quantifying over events in probability logic: an introduction
• scientific article; zbMATH DE number 873137 (Why is no real title available?)
• Probabilistic justification logic
• Inference rules for probability logic
• Algorithmic Learning Theory
• Model theory of measure spaces and probability logic
• Symbolic and Quantitative Approaches to Reasoning with Uncertainty
• Inductive logic, verisimilitude, and machine learning
• Absolute versus probabilistic classification in a logical setting

This page was built for publication: Probabilistic Logic and Induction

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