Probabilistic Logic and Induction

DOI10.1093/logcom/exi032zbMath1083.03028OpenAlexW2019631316MaRDI QIDQ5696305

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 truthprobabilistic logicpac-learninginductive inference of first-order formulas from atomic truths

Mathematics Subject Classification ID

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

Related Items (6)

Computational Hardness of Validity in Probability Logic ⋮ Computability of validity and satisfiability in probability logics over finite and countable models ⋮ Levels of uniformity ⋮ Quantifying over events in probability logic: an introduction ⋮ MODEL THEORY OF MEASURE SPACES AND PROBABILITY LOGIC ⋮ Decidability and Undecidability in Probability Logic

This page was built for publication: Probabilistic Logic and Induction