Pages that link to "Item:Q4592983"

The following pages link to Inference and learning in probabilistic logic programs using weighted Boolean formulas (Q4592983):

Displaying 46 items.

• Diffusion centrality: a paradigm to maximize spread in social networks (Q322073) (← links)
• \(T_{\mathcal{P}}\)-compilation for inference in probabilistic logic programs (Q324656) (← links)
• Probabilistic abductive logic programming using Dirichlet priors (Q324690) (← links)
• On the complexity of propositional and relational credal networks (Q518627) (← links)
• Connecting knowledge compilation classes and width parameters (Q778533) (← links)
• Model checking finite-horizon Markov chains with probabilistic inference (Q832295) (← links)
• Probabilistic (logic) programming concepts (Q894692) (← links)
• Bandit-based Monte-Carlo structure learning of probabilistic logic programs (Q894703) (← links)
• The complexity of Bayesian networks specified by propositional and relational languages (Q1711881) (← links)
• Speeding up parameter and rule learning for acyclic probabilistic logic programs (Q1999576) (← links)
• Confidences for commonsense reasoning (Q2055883) (← links)
• Learning hierarchical probabilistic logic programs (Q2071314) (← links)
• Approximate weighted model integration on DNF structures (Q2082501) (← links)
• A taxonomy of weight learning methods for statistical relational learning (Q2102343) (← links)
• Weighted model counting without parameter variables (Q2118293) (← links)
• Symbolic DNN-tuner (Q2127252) (← links)
• A functional account of probabilistic programming with possible worlds. Declarative pearl (Q2163171) (← links)
• Explanations as programs in probabilistic logic programming (Q2163172) (← links)
• Handling epistemic and aleatory uncertainties in probabilistic circuits (Q2163184) (← links)
• The joy of probabilistic answer set programming: semantics, complexity, expressivity, inference (Q2206456) (← links)
• Thirty years of credal networks: specification, algorithms and complexity (Q2206469) (← links)
• Some thoughts on knowledge-enhanced machine learning (Q2237522) (← links)
• Neural probabilistic logic programming in DeepProbLog (Q2238688) (← links)
• The finite model theory of Bayesian network specifications: descriptive complexity and zero/one laws (Q2283277) (← links)
• Probabilistic sentence satisfiability: an approach to PSAT (Q2287193) (← links)
• Probabilistic abstract argumentation frameworks, a possible world view (Q2300457) (← links)
• Complexity results for probabilistic answer set programming (Q2302961) (← links)
• Predictive spreadsheet autocompletion with constraints (Q2303671) (← links)
• P-log: refinement and a new coherency condition (Q2317975) (← links)
• Advanced SMT techniques for weighted model integration (Q2321319) (← links)
• A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics (Q2374532) (← links)
• Exploiting local and repeated structure in dynamic Bayesian networks (Q2634474) (← links)
• Exact stochastic constraint optimisation with applications in network analysis (Q2667834) (← links)
• IASCAR: incremental answer set counting by anytime refinement (Q2694570) (← links)
• Connecting Width and Structure in Knowledge Compilation (Extended Version) (Q3305349) (← links)
• Compacting Boolean Formulae for Inference in Probabilistic Logic Programming (Q3449226) (← links)
• Computing <i>LP^MLN</i> using ASP and MLN solvers (Q4592718) (← links)
• Knowledge compilation of logic programs using approximation fixpoint theory (Q4592990) (← links)
• Optimizing Probabilities in Probabilistic Logic Programs (Q5019596) (← links)
• Utilizing Treewidth for Quantitative Reasoning on Epistemic Logic Programs (Q5019599) (← links)
• Efficient Knowledge Compilation Beyond Weighted Model Counting (Q5038457) (← links)
• Lifted Bayesian Filtering in Multiset Rewriting Systems (Q5139603) (← links)
• MAP Inference for Probabilistic Logic Programming (Q5140005) (← links)
• Using SWISH to Realize Interactive Web-based Tutorials for Logic-based Languages (Q5197752) (← links)
• Lifted inference with tree axioms (Q6088316) (← links)
• Online event recognition over noisy data streams (Q6178734) (← links)