Inference and Learning in Probabilistic Logic Programs Using Weighted Boolean Formulas

Theory and Practice of Logic Programming- United Kingdom

doi 10.1017/s1471068414000076

Full Text

Abstract

Available in

Date

Authors

Publisher

Cambridge University Press (CUP)

Related search

Propositional PSPACE Reasoning With Boolean Programs Versus Quantified Boolean Formulas

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2004English

Probabilistic Modelling, Inference and Learning Using Logical Theories

Annals of Mathematics and Artificial Intelligence
Applied MathematicsArtificial Intelligence
2008English

Determinacy Inference for Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Towards Verified Stochastic Variational Inference for Probabilistic Programs

Proceedings of the ACM on Programming Languages
2020English

Revisiting the Semantics of Interval Probabilistic Logic Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2005English

Probabilistic Inference for Determining Options in Reinforcement Learning

Machine Learning
Artificial IntelligenceSoftware
2016English

Inference of a Probabilistic Boolean Network From a Single Observed Temporal Sequence

Eurasip Journal on Bioinformatics and Systems Biology
StatisticsGeneticsProbabilityMolecular BiologyBiochemistryMultidisciplinarySignal ProcessingComputer Science ApplicationsComputer ScienceMedicineComputational Mathematics
2007English

Learning Probabilistic Inference Through Spike-Timing-Dependent Plasticity

eNeuro
MedicineNeuroscience
2016English

Dialectical Logic and Boolean Algebra

Journal of Mathematics Research
2019English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy