Probabilities on sentences in an expressive logic
From MaRDI portal
Publication:2446673
DOI10.1016/J.JAL.2013.03.003zbMath1284.03161DBLPjournals/japll/HutterLNU13arXiv1209.2620OpenAlexW2163068690WikidataQ58012255 ScholiaQ58012255MaRDI QIDQ2446673
K. S. Ng, Marcus Hutter, William T. B. Uther, John W. Lloyd
Publication date: 17 April 2014
Published in: Journal of Applied Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1209.2620
entropylearningknowledgehigher-order logicconfirmationinductionpriorCournotGaifmanprobability on sentences
Probability and inductive logic (03B48) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (1)
Uses Software
Cites Work
- A philosophical treatise of universal induction
- An analysis of first-order logics of probability
- Probabilistic modelling, inference and learning using logical theories
- The seven virtues of simple type theory
- Probabilistic logic
- I-divergence geometry of probability distributions and minimization problems
- An introduction to mathematical logic and type theory: To truth through proof.
- Probabilistic reasoning in a classical logic
- Markov logic networks
- Concerning measures in first order calculi
- Objective Bayesian probabilistic logic
- Probabilities over rich languages, testing and randomness
- Reasoning about knowledge and probability
- The Uncertain Reasoner's Companion
- Real Analysis and Probability
- First-Order Probabilistic Languages: Into the Unknown
- Completeness in the theory of types
- On the axiomatic treatment of probability
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Probabilities on sentences in an expressive logic