Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320854402> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W4320854402 abstract "The development of efficient exact and approximate algorithms for probabilistic inference is a long-standing goal of artificial intelligence research. Whereas substantial progress has been made in dealing with purely discrete or purely continuous domains, adapting the developed solutions to tackle hybrid domains, characterised by discrete and continuous variables and their relationships, is highly non-trivial. Weighted Model Integration (WMI) recently emerged as a unifying formalism for probabilistic inference in hybrid domains. Despite a considerable amount of recent work, allowing WMI algorithms to scale with the complexity of the hybrid problem is still a challenge. In this paper we highlight some substantial limitations of existing state-of-the-art solutions, and develop an algorithm that combines SMT-based enumeration, an efficient technique in formal verification, with an effective encoding of the problem structure. This allows our algorithm to avoid generating redundant models, resulting in drastic computational savings. Additionally, we show how SMT-based approaches can seamlessly deal with different integration techniques, both exact and approximate, significantly expanding the set of problems that can be tackled by WMI technology. An extensive experimental evaluation on both synthetic and real-world datasets confirms the substantial advantage of the proposed solution over existing alternatives. The application potential of this technology is further showcased on a prototypical task aimed at verifying the fairness of probabilistic programs." @default.
- W4320854402 created "2023-02-16" @default.
- W4320854402 creator A5046799062 @default.
- W4320854402 creator A5066187890 @default.
- W4320854402 creator A5068121034 @default.
- W4320854402 creator A5082785688 @default.
- W4320854402 creator A5088301538 @default.
- W4320854402 date "2023-02-13" @default.
- W4320854402 modified "2023-09-29" @default.
- W4320854402 title "Enhancing SMT-based Weighted Model Integration by Structure Awareness" @default.
- W4320854402 doi "https://doi.org/10.48550/arxiv.2302.06188" @default.
- W4320854402 hasPublicationYear "2023" @default.
- W4320854402 type Work @default.
- W4320854402 citedByCount "0" @default.
- W4320854402 crossrefType "posted-content" @default.
- W4320854402 hasAuthorship W4320854402A5046799062 @default.
- W4320854402 hasAuthorship W4320854402A5066187890 @default.
- W4320854402 hasAuthorship W4320854402A5068121034 @default.
- W4320854402 hasAuthorship W4320854402A5082785688 @default.
- W4320854402 hasAuthorship W4320854402A5088301538 @default.
- W4320854402 hasBestOaLocation W43208544021 @default.
- W4320854402 hasConcept C119857082 @default.
- W4320854402 hasConcept C142362112 @default.
- W4320854402 hasConcept C153349607 @default.
- W4320854402 hasConcept C154945302 @default.
- W4320854402 hasConcept C162324750 @default.
- W4320854402 hasConcept C177264268 @default.
- W4320854402 hasConcept C187736073 @default.
- W4320854402 hasConcept C199360897 @default.
- W4320854402 hasConcept C2776214188 @default.
- W4320854402 hasConcept C2780451532 @default.
- W4320854402 hasConcept C41008148 @default.
- W4320854402 hasConcept C49937458 @default.
- W4320854402 hasConcept C558565934 @default.
- W4320854402 hasConcept C73301696 @default.
- W4320854402 hasConcept C80444323 @default.
- W4320854402 hasConceptScore W4320854402C119857082 @default.
- W4320854402 hasConceptScore W4320854402C142362112 @default.
- W4320854402 hasConceptScore W4320854402C153349607 @default.
- W4320854402 hasConceptScore W4320854402C154945302 @default.
- W4320854402 hasConceptScore W4320854402C162324750 @default.
- W4320854402 hasConceptScore W4320854402C177264268 @default.
- W4320854402 hasConceptScore W4320854402C187736073 @default.
- W4320854402 hasConceptScore W4320854402C199360897 @default.
- W4320854402 hasConceptScore W4320854402C2776214188 @default.
- W4320854402 hasConceptScore W4320854402C2780451532 @default.
- W4320854402 hasConceptScore W4320854402C41008148 @default.
- W4320854402 hasConceptScore W4320854402C49937458 @default.
- W4320854402 hasConceptScore W4320854402C558565934 @default.
- W4320854402 hasConceptScore W4320854402C73301696 @default.
- W4320854402 hasConceptScore W4320854402C80444323 @default.
- W4320854402 hasLocation W43208544021 @default.
- W4320854402 hasOpenAccess W4320854402 @default.
- W4320854402 hasPrimaryLocation W43208544021 @default.
- W4320854402 hasRelatedWork W1509467138 @default.
- W4320854402 hasRelatedWork W1974031516 @default.
- W4320854402 hasRelatedWork W2511279186 @default.
- W4320854402 hasRelatedWork W2772641823 @default.
- W4320854402 hasRelatedWork W2912887033 @default.
- W4320854402 hasRelatedWork W2926374695 @default.
- W4320854402 hasRelatedWork W2950173302 @default.
- W4320854402 hasRelatedWork W2970184844 @default.
- W4320854402 hasRelatedWork W3026670957 @default.
- W4320854402 hasRelatedWork W4297797389 @default.
- W4320854402 isParatext "false" @default.
- W4320854402 isRetracted "false" @default.
- W4320854402 workType "article" @default.