Advanced SMT techniques for weighted model integration

DOI10.1016/J.ARTINT.2019.04.003zbMATH Open1478.68328OpenAlexW2937129136WikidataQ128057624 ScholiaQ128057624MaRDI QIDQ2321319FDOQ2321319

Roberto Sebastiani, Paolo Morettin, Andrea Passerini

Publication date: 28 August 2019

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.artint.2019.04.003

zbMATH Keywords

probabilistic inferencesatisfiability modulo theoriesweighted model countingweighted model integration

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Software for exact integration of polynomials over polyhedra
• The MathSAT5 SMT Solver
• Inference in hybrid Bayesian networks using mixtures of polynomials
• How to integrate a polynomial over a simplex
• On probabilistic inference by weighted model counting
• Uniform generation of NP-witnesses using an NP-oracle
• Probabilistic Databases
• Inference and learning in probabilistic logic programs using weighted Boolean formulas
• Compiling Probabilistic Graphical Models Using Sentential Decision Diagrams
• Efficient solutions to factored MDPs with imprecise transition probabilities
• Approximate counting in SMT and value estimation for probabilistic programs
• Importance sampling-based estimation over AND/OR search spaces for graphical models
• Weighted model counting without parameter variables

Cited In (5)

• Title not available (Why is that?)
• A compositional approach to probabilistic knowledge compilation
• On enumerating short projected models
• Enhancing SMT-based weighted model integration by structure awareness
• Approximate weighted model integration on DNF structures

Uses Software

• LattE
• MathSAT
• Dsharp

Recommendations

• Extending the Smodels system with cardinality and weight constraints 👍 👎
• Light-Weight SMT-based Model Checking 👍 👎
• Toward a formal theory of model integration 👍 👎
• Approximate weighted model integration on DNF structures 👍 👎
• Weighted models for higher-order computation 👍 👎
• A comparison of SMT-solvers for timed weighted interpreted systems 👍 👎

This page was built for publication: Advanced SMT techniques for weighted model integration

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2321319)