Matches in SemOpenAlex for { <https://semopenalex.org/work/W2952585167> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2952585167 abstract "Model counting is the problem of computing the number of models that satisfy a given propositional theory. It has recently been applied to solving inference tasks in probabilistic logic programming, where the goal is to compute the probability of given queries being true provided a set of mutually independent random variables, a model (a logic program) and some evidence. The core of solving this inference task involves translating the logic program to a propositional theory and using a model counter. In this paper, we show that for some problems that involve inductive definitions like reachability in a graph, the translation of logic programs to SAT can be expensive for the purpose of solving inference tasks. For such problems, direct implementation of stable model semantics allows for more efficient solving. We present two implementation techniques, based on unfounded set detection, that extend a propositional model counter to a stable model counter. Our experiments show that for particular problems, our approach can outperform a state-of-the-art probabilistic logic programming solver by several orders of magnitude in terms of running time and space requirements, and can solve instances of significantly larger sizes on which the current solver runs out of time or memory." @default.
- W2952585167 created "2019-06-27" @default.
- W2952585167 creator A5008330299 @default.
- W2952585167 creator A5035249904 @default.
- W2952585167 creator A5049717868 @default.
- W2952585167 creator A5064839018 @default.
- W2952585167 date "2015-03-04" @default.
- W2952585167 modified "2023-09-27" @default.
- W2952585167 title "Stable Model Counting and Its Application in Probabilistic Logic Programming" @default.
- W2952585167 cites W1517739403 @default.
- W2952585167 cites W1537730723 @default.
- W2952585167 cites W1570025952 @default.
- W2952585167 cites W1672891595 @default.
- W2952585167 cites W179198942 @default.
- W2952585167 cites W1889548941 @default.
- W2952585167 cites W1976055110 @default.
- W2952585167 cites W2004414305 @default.
- W2952585167 cites W202248608 @default.
- W2952585167 cites W2079430756 @default.
- W2952585167 cites W2115826669 @default.
- W2952585167 cites W2186752618 @default.
- W2952585167 cites W2283350629 @default.
- W2952585167 cites W3103989664 @default.
- W2952585167 cites W3104376605 @default.
- W2952585167 cites W758533152 @default.
- W2952585167 doi "https://doi.org/10.1609/aaai.v29i1.9691" @default.
- W2952585167 hasPublicationYear "2015" @default.
- W2952585167 type Work @default.
- W2952585167 sameAs 2952585167 @default.
- W2952585167 citedByCount "2" @default.
- W2952585167 countsByYear W29525851672020 @default.
- W2952585167 countsByYear W29525851672022 @default.
- W2952585167 crossrefType "journal-article" @default.
- W2952585167 hasAuthorship W2952585167A5008330299 @default.
- W2952585167 hasAuthorship W2952585167A5035249904 @default.
- W2952585167 hasAuthorship W2952585167A5049717868 @default.
- W2952585167 hasAuthorship W2952585167A5064839018 @default.
- W2952585167 hasBestOaLocation W29525851671 @default.
- W2952585167 hasConcept C110251889 @default.
- W2952585167 hasConcept C128838566 @default.
- W2952585167 hasConcept C136643341 @default.
- W2952585167 hasConcept C154945302 @default.
- W2952585167 hasConcept C164155591 @default.
- W2952585167 hasConcept C182620335 @default.
- W2952585167 hasConcept C199360897 @default.
- W2952585167 hasConcept C2776214188 @default.
- W2952585167 hasConcept C41008148 @default.
- W2952585167 hasConcept C49937458 @default.
- W2952585167 hasConcept C69562738 @default.
- W2952585167 hasConcept C80444323 @default.
- W2952585167 hasConceptScore W2952585167C110251889 @default.
- W2952585167 hasConceptScore W2952585167C128838566 @default.
- W2952585167 hasConceptScore W2952585167C136643341 @default.
- W2952585167 hasConceptScore W2952585167C154945302 @default.
- W2952585167 hasConceptScore W2952585167C164155591 @default.
- W2952585167 hasConceptScore W2952585167C182620335 @default.
- W2952585167 hasConceptScore W2952585167C199360897 @default.
- W2952585167 hasConceptScore W2952585167C2776214188 @default.
- W2952585167 hasConceptScore W2952585167C41008148 @default.
- W2952585167 hasConceptScore W2952585167C49937458 @default.
- W2952585167 hasConceptScore W2952585167C69562738 @default.
- W2952585167 hasConceptScore W2952585167C80444323 @default.
- W2952585167 hasIssue "1" @default.
- W2952585167 hasLocation W29525851671 @default.
- W2952585167 hasLocation W29525851672 @default.
- W2952585167 hasOpenAccess W2952585167 @default.
- W2952585167 hasPrimaryLocation W29525851671 @default.
- W2952585167 hasRelatedWork W2126053898 @default.
- W2952585167 hasRelatedWork W269366713 @default.
- W2952585167 hasRelatedWork W2796695740 @default.
- W2952585167 hasRelatedWork W2798667534 @default.
- W2952585167 hasRelatedWork W2952585167 @default.
- W2952585167 hasRelatedWork W2963483933 @default.
- W2952585167 hasRelatedWork W3103684517 @default.
- W2952585167 hasRelatedWork W4293179553 @default.
- W2952585167 hasRelatedWork W4299347288 @default.
- W2952585167 hasRelatedWork W3187445915 @default.
- W2952585167 hasVolume "29" @default.
- W2952585167 isParatext "false" @default.
- W2952585167 isRetracted "false" @default.
- W2952585167 magId "2952585167" @default.
- W2952585167 workType "article" @default.