Approximate weighted model integration on DNF structures
type: Item
instance of: scholarly article
title: Approximate weighted model integration on DNF structures
author: Ralph Abboud
author: İsmail İlkan Ceylan
author: Radoslav Dimitrov
published in: Artificial Intelligence
publication date: 2022-10-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/2002.06726
Mathematics Subject Classification ID: 68Txx
zbMATH DE Number: 7596155
zbMATH Keywords: weighted model integration
zbMATH Keywords: weighted model counting
zbMATH Keywords: approximations
zbMATH Keywords: probabilistic inference
describes a project that uses: ProbLog
MaRDI profile type: Publication
OpenAlex ID: W4283728701
cites work: Q3655273
cites work: Q3624106
cites work: Probabilistic Databases
cites work: Advanced SMT techniques for weighted model integration
cites work: On probabilistic inference by weighted model counting
cites work: The complexity of computing the permanent
cites work: Monte-Carlo approximation algorithms for enumeration problems
cites work: On the hardness of approximate reasoning
cites work: Approximating the volume of unions and intersections of high-dimensional geometric objects
cites work: General hit-and-run Monte Carlo sampling for evaluating multidimensional integrals
cites work: Simulated annealing in convex bodies and an \(O^{*}(n^{4}\)) volume algorithm
cites work: Computing the volume is difficult
cites work: Random walks and anO*(n5) volume algorithm for convex bodies
cites work: Geodesic walks in polytopes
cites work: Practical Polytope Volume Approximation
cites work: Markov logic networks
cites work: Inference and learning in probabilistic logic programs using weighted Boolean formulas
cites work: The Complexity of Counting Cuts and of Computing the Probability that a Graph is Connected
cites work: Approximate counting in SMT and value estimation for probabilistic programs
cites work: Random generation of combinatorial structures from a uniform distribution
cites work: Open-world probabilistic databases: semantics, algorithms, complexity
cites work: Q5136333
DOI: 10.1016/J.ARTINT.2022.103753
Recommended article: Advanced SMT techniques for weighted model integration
Recommended article: Weighted models for higher-order computation
Recommended article: Quantitative Refinement for Weighted Modal Transition Systems
Recommended article: Enumerating models of DNF faster: breaking the dependency on the formula size
Recommended article: On Compiling CNFs into Structured Deterministic DNNFs
Recommended article: Q4955344
Recommended article: Weighted Relational Models of Typed Lambda-Calculi
Recommended article: A complete approximation theory for weighted transition systems
Recommended article: Approximated determinisation of weighted tree automata
description: scientific article; zbMATH DE number 7596155