Matches in SemOpenAlex for { <https://semopenalex.org/work/W2234699113> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W2234699113 endingPage "8" @default.
- W2234699113 startingPage "1" @default.
- W2234699113 abstract "First-order model counting emerged recently as a novel reasoning task, at the core of efficient algorithms for probabilistic logics such as MLNs. For certain subsets of first-order logic, lifted model counters were shown to run in time polynomial in the number of objects in the domain of discourse, where propositional model counters require exponential time. However, these guarantees apply only to Skolem normal form theories (i.e., no existential quantifiers). Since textbook Skolemization is not sound for model counting, these restrictions precluded efficient model counting for directed models, such as probabilistic logic programs, which rely on existential quantification. Recently, we presented a novel Skolemization algorithm for model counting problems that eliminates existential quantifiers from a first-order logic theory without changing its weighted model count. Our Skolemization procedure extends the applicability of first-order model counters to probabilistic logic programming. For the first time, this enables lifted inference with these representations." @default.
- W2234699113 created "2016-06-24" @default.
- W2234699113 creator A5009539513 @default.
- W2234699113 creator A5027252816 @default.
- W2234699113 creator A5074451226 @default.
- W2234699113 date "2014-07-01" @default.
- W2234699113 modified "2023-09-27" @default.
- W2234699113 title "Lifted inference for probabilistic logic programs" @default.
- W2234699113 cites W1517356334 @default.
- W2234699113 cites W1562643156 @default.
- W2234699113 cites W1606383219 @default.
- W2234699113 cites W1607205948 @default.
- W2234699113 cites W1766332311 @default.
- W2234699113 cites W1823181550 @default.
- W2234699113 cites W1824971879 @default.
- W2234699113 cites W1858033312 @default.
- W2234699113 cites W1858502558 @default.
- W2234699113 cites W1889548941 @default.
- W2234699113 cites W1990859777 @default.
- W2234699113 cites W202248608 @default.
- W2234699113 cites W2159284075 @default.
- W2234699113 cites W2163949730 @default.
- W2234699113 cites W2283350629 @default.
- W2234699113 cites W2487770199 @default.
- W2234699113 cites W2503079136 @default.
- W2234699113 cites W40043925 @default.
- W2234699113 cites W73939759 @default.
- W2234699113 hasPublicationYear "2014" @default.
- W2234699113 type Work @default.
- W2234699113 sameAs 2234699113 @default.
- W2234699113 citedByCount "1" @default.
- W2234699113 countsByYear W22346991132018 @default.
- W2234699113 crossrefType "journal-article" @default.
- W2234699113 hasAuthorship W2234699113A5009539513 @default.
- W2234699113 hasAuthorship W2234699113A5027252816 @default.
- W2234699113 hasAuthorship W2234699113A5074451226 @default.
- W2234699113 hasConcept C102993220 @default.
- W2234699113 hasConcept C11413529 @default.
- W2234699113 hasConcept C154945302 @default.
- W2234699113 hasConcept C18998212 @default.
- W2234699113 hasConcept C199360897 @default.
- W2234699113 hasConcept C203659156 @default.
- W2234699113 hasConcept C2776214188 @default.
- W2234699113 hasConcept C33923547 @default.
- W2234699113 hasConcept C3845977 @default.
- W2234699113 hasConcept C41008148 @default.
- W2234699113 hasConcept C49937458 @default.
- W2234699113 hasConcept C69562738 @default.
- W2234699113 hasConcept C80444323 @default.
- W2234699113 hasConceptScore W2234699113C102993220 @default.
- W2234699113 hasConceptScore W2234699113C11413529 @default.
- W2234699113 hasConceptScore W2234699113C154945302 @default.
- W2234699113 hasConceptScore W2234699113C18998212 @default.
- W2234699113 hasConceptScore W2234699113C199360897 @default.
- W2234699113 hasConceptScore W2234699113C203659156 @default.
- W2234699113 hasConceptScore W2234699113C2776214188 @default.
- W2234699113 hasConceptScore W2234699113C33923547 @default.
- W2234699113 hasConceptScore W2234699113C3845977 @default.
- W2234699113 hasConceptScore W2234699113C41008148 @default.
- W2234699113 hasConceptScore W2234699113C49937458 @default.
- W2234699113 hasConceptScore W2234699113C69562738 @default.
- W2234699113 hasConceptScore W2234699113C80444323 @default.
- W2234699113 hasLocation W22346991131 @default.
- W2234699113 hasOpenAccess W2234699113 @default.
- W2234699113 hasPrimaryLocation W22346991131 @default.
- W2234699113 hasRelatedWork W1442808332 @default.
- W2234699113 hasRelatedWork W1481827869 @default.
- W2234699113 hasRelatedWork W14997197 @default.
- W2234699113 hasRelatedWork W1538192045 @default.
- W2234699113 hasRelatedWork W1758600199 @default.
- W2234699113 hasRelatedWork W1889548941 @default.
- W2234699113 hasRelatedWork W1894658779 @default.
- W2234699113 hasRelatedWork W2046297014 @default.
- W2234699113 hasRelatedWork W2117892888 @default.
- W2234699113 hasRelatedWork W2338282584 @default.
- W2234699113 hasRelatedWork W2402911988 @default.
- W2234699113 hasRelatedWork W2525179996 @default.
- W2234699113 hasRelatedWork W2531711132 @default.
- W2234699113 hasRelatedWork W2558138484 @default.
- W2234699113 hasRelatedWork W2584623985 @default.
- W2234699113 hasRelatedWork W2896191450 @default.
- W2234699113 hasRelatedWork W2962929355 @default.
- W2234699113 hasRelatedWork W3037798718 @default.
- W2234699113 hasRelatedWork W3104376605 @default.
- W2234699113 hasRelatedWork W3104798428 @default.
- W2234699113 isParatext "false" @default.
- W2234699113 isRetracted "false" @default.
- W2234699113 magId "2234699113" @default.
- W2234699113 workType "article" @default.