Matches in SemOpenAlex for { <https://semopenalex.org/work/W3205533508> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3205533508 abstract "We consider the problem of weighted first-order model counting (WFOMC): given a first-order sentence ϕ and domain size n ∈ ℕ, determine the weighted sum of models of ϕ over the domain {1, ..., n}. Past work has shown that any sentence using at most two logical variables admits an algorithm for WFOMC that runs in time polynomial in the given domain size (Van den Broeck 2011; Van den Broeck, Meert, and Darwiche 2014). In this paper, we extend this result to any two-variable sentence ϕ with the addition of a tree axiom, stating that some distinguished binary relation in ϕ forms a tree in the graph-theoretic sense." @default.
- W3205533508 created "2021-10-25" @default.
- W3205533508 creator A5021262042 @default.
- W3205533508 creator A5043401121 @default.
- W3205533508 date "2021-09-01" @default.
- W3205533508 modified "2023-09-27" @default.
- W3205533508 title "Lifted Inference with Tree Axioms" @default.
- W3205533508 cites W1823181550 @default.
- W3205533508 cites W1977970897 @default.
- W3205533508 cites W1978493550 @default.
- W3205533508 cites W1989783863 @default.
- W3205533508 cites W2017018565 @default.
- W3205533508 cites W2058120853 @default.
- W3205533508 cites W2079785597 @default.
- W3205533508 cites W2133873188 @default.
- W3205533508 cites W2141007910 @default.
- W3205533508 cites W2159284075 @default.
- W3205533508 cites W2516421545 @default.
- W3205533508 cites W2616697817 @default.
- W3205533508 cites W2952812825 @default.
- W3205533508 cites W2963742388 @default.
- W3205533508 cites W3104376605 @default.
- W3205533508 cites W51516856 @default.
- W3205533508 cites W73939759 @default.
- W3205533508 doi "https://doi.org/10.24963/kr.2021/57" @default.
- W3205533508 hasPublicationYear "2021" @default.
- W3205533508 type Work @default.
- W3205533508 sameAs 3205533508 @default.
- W3205533508 citedByCount "1" @default.
- W3205533508 countsByYear W32055335082023 @default.
- W3205533508 crossrefType "proceedings-article" @default.
- W3205533508 hasAuthorship W3205533508A5021262042 @default.
- W3205533508 hasAuthorship W3205533508A5043401121 @default.
- W3205533508 hasBestOaLocation W32055335081 @default.
- W3205533508 hasConcept C113174947 @default.
- W3205533508 hasConcept C11413529 @default.
- W3205533508 hasConcept C114614502 @default.
- W3205533508 hasConcept C118615104 @default.
- W3205533508 hasConcept C124101348 @default.
- W3205533508 hasConcept C132525143 @default.
- W3205533508 hasConcept C134306372 @default.
- W3205533508 hasConcept C154945302 @default.
- W3205533508 hasConcept C167729594 @default.
- W3205533508 hasConcept C197855036 @default.
- W3205533508 hasConcept C2524010 @default.
- W3205533508 hasConcept C25343380 @default.
- W3205533508 hasConcept C2776214188 @default.
- W3205533508 hasConcept C2777530160 @default.
- W3205533508 hasConcept C33923547 @default.
- W3205533508 hasConcept C36503486 @default.
- W3205533508 hasConcept C41008148 @default.
- W3205533508 hasConcept C65180967 @default.
- W3205533508 hasConceptScore W3205533508C113174947 @default.
- W3205533508 hasConceptScore W3205533508C11413529 @default.
- W3205533508 hasConceptScore W3205533508C114614502 @default.
- W3205533508 hasConceptScore W3205533508C118615104 @default.
- W3205533508 hasConceptScore W3205533508C124101348 @default.
- W3205533508 hasConceptScore W3205533508C132525143 @default.
- W3205533508 hasConceptScore W3205533508C134306372 @default.
- W3205533508 hasConceptScore W3205533508C154945302 @default.
- W3205533508 hasConceptScore W3205533508C167729594 @default.
- W3205533508 hasConceptScore W3205533508C197855036 @default.
- W3205533508 hasConceptScore W3205533508C2524010 @default.
- W3205533508 hasConceptScore W3205533508C25343380 @default.
- W3205533508 hasConceptScore W3205533508C2776214188 @default.
- W3205533508 hasConceptScore W3205533508C2777530160 @default.
- W3205533508 hasConceptScore W3205533508C33923547 @default.
- W3205533508 hasConceptScore W3205533508C36503486 @default.
- W3205533508 hasConceptScore W3205533508C41008148 @default.
- W3205533508 hasConceptScore W3205533508C65180967 @default.
- W3205533508 hasLocation W32055335081 @default.
- W3205533508 hasOpenAccess W3205533508 @default.
- W3205533508 hasPrimaryLocation W32055335081 @default.
- W3205533508 hasRelatedWork W1589666554 @default.
- W3205533508 hasRelatedWork W1598987050 @default.
- W3205533508 hasRelatedWork W1945695511 @default.
- W3205533508 hasRelatedWork W2053547980 @default.
- W3205533508 hasRelatedWork W2359593496 @default.
- W3205533508 hasRelatedWork W2491277646 @default.
- W3205533508 hasRelatedWork W3036401461 @default.
- W3205533508 hasRelatedWork W3114148850 @default.
- W3205533508 hasRelatedWork W3198642365 @default.
- W3205533508 hasRelatedWork W67037240 @default.
- W3205533508 isParatext "false" @default.
- W3205533508 isRetracted "false" @default.
- W3205533508 magId "3205533508" @default.
- W3205533508 workType "article" @default.