Probabilistic modelling, inference and learning using logical theories
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1696788 (Why is no real title available?)
- scientific article; zbMATH DE number 5838699 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 53088 (Why is no real title available?)
- scientific article; zbMATH DE number 1332654 (Why is no real title available?)
- scientific article; zbMATH DE number 1028827 (Why is no real title available?)
- scientific article; zbMATH DE number 1095142 (Why is no real title available?)
- scientific article; zbMATH DE number 2046116 (Why is no real title available?)
- scientific article; zbMATH DE number 1749187 (Why is no real title available?)
- scientific article; zbMATH DE number 3999882 (Why is no real title available?)
- scientific article; zbMATH DE number 1911272 (Why is no real title available?)
- scientific article; zbMATH DE number 3076638 (Why is no real title available?)
- A Survey of First-Order Probabilistic Models
- A formulation of the simple theory of types
- A mathematical introduction to logic.
- A probabilistic language based upon sampling functions
- Advances in Intelligent Data Analysis VI
- An analysis of first-order logics of probability
- Completeness in the theory of types
- FUNCTIONAL PEARLS: Probabilistic functional programming in Haskell
- Factor graphs and the sum-product algorithm
- First-Order Probabilistic Languages: Into the Unknown
- Higher-order unification and matching
- Hybrid probabilistic programs
- Learning Modal Theories
- Logic Programming and Nonmonotonic Reasoning
- Markov logic networks
- Models for machine learning and data mining in functional programming
- Probabilistic logic
- Probabilistic logic programming
- Probabilistic reasoning in a classical logic
- Reasoning about knowledge and probability
- Stochastic lambda calculus and monads of probability distributions
- The seven virtues of simple type theory
Cited in
(18)- Modelling reasoning processes in natural agents: a partial-worlds-based logical framework for elemental non-monotonic inferences and learning
- ON THE STRUCTURE OF PROBABILITY FUNCTIONS IN THE NATURAL WORLD
- Probabilistic reasoning in a classical logic
- Interpretable encoding of densities using possibilistic logic
- Logic, Probability and Computation: Foundations and Issues of Statistical Relational AI
- Incremental construction and evaluation of defeasible probabilistic models
- Probability, logic and learning synthesis: formalizing the prediction concept
- Leveraging cluster backbones for improving MAP inference in statistical relational models
- Learning and modeling with probabilistic conditional logic.
- Probabilities on sentences in an expressive logic
- CP-logic theory inference with contextual variable elimination and comparison to BDD based inference methods
- Objective Bayesian probabilistic logic
- scientific article; zbMATH DE number 7102019 (Why is no real title available?)
- Models for Many-Valued Probabilistic Reasoning
- Representation theorems for explanatory reasoning based on cumulative models
- scientific article; zbMATH DE number 798660 (Why is no real title available?)
- Introduction to the special issue on probability, logic and learning
- scientific article; zbMATH DE number 6304246 (Why is no real title available?)
This page was built for publication: Probabilistic modelling, inference and learning using logical theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q841641)
