Matches in SemOpenAlex for { <https://semopenalex.org/work/W2111738185> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2111738185 endingPage "450" @default.
- W2111738185 startingPage "436" @default.
- W2111738185 abstract "Many intractable problems have been shown to become tractable if the treewidth of the underlying structure is bounded by a constant. An important tool for deriving such results is Courcelle's Theorem, which states that all properties defined by Monadic-Second Order (MSO) sentences are fixed-parameter tractable with respect to the treewidth. Arnborg et al. extended this result to counting problems defined via MSO properties. However, the MSO description of a problem is of course not an algorithm. Consequently, proving the fixed-parameter tractability of some problem via Courcelle's Theorem can be considered as the starting point rather than the endpoint of the search for an efficient algorithm. Gottlob et al. have recently presented a new approach via monadic datalog to actually devise efficient algorithms for decision problems whose tractability follows from Courcelle's Theorem. In this paper, we extend this approach and apply it to some fundamental counting problems in logic an artificial intelligence." @default.
- W2111738185 created "2016-06-24" @default.
- W2111738185 creator A5002143012 @default.
- W2111738185 creator A5075391677 @default.
- W2111738185 creator A5091683403 @default.
- W2111738185 creator A5006053030 @default.
- W2111738185 date "2008-01-01" @default.
- W2111738185 modified "2023-10-14" @default.
- W2111738185 title "Fast Counting with Bounded Treewidth" @default.
- W2111738185 cites W1524939943 @default.
- W2111738185 cites W1544722557 @default.
- W2111738185 cites W1976055110 @default.
- W2111738185 cites W2046652577 @default.
- W2111738185 cites W2059372025 @default.
- W2111738185 cites W2064796716 @default.
- W2111738185 cites W2069680070 @default.
- W2111738185 cites W2090518395 @default.
- W2111738185 cites W2109716789 @default.
- W2111738185 cites W2111738185 @default.
- W2111738185 cites W2137931097 @default.
- W2111738185 cites W2139148854 @default.
- W2111738185 cites W4230626603 @default.
- W2111738185 doi "https://doi.org/10.1007/978-3-540-89439-1_31" @default.
- W2111738185 hasPublicationYear "2008" @default.
- W2111738185 type Work @default.
- W2111738185 sameAs 2111738185 @default.
- W2111738185 citedByCount "11" @default.
- W2111738185 countsByYear W21117381852012 @default.
- W2111738185 countsByYear W21117381852013 @default.
- W2111738185 countsByYear W21117381852018 @default.
- W2111738185 crossrefType "book-chapter" @default.
- W2111738185 hasAuthorship W2111738185A5002143012 @default.
- W2111738185 hasAuthorship W2111738185A5006053030 @default.
- W2111738185 hasAuthorship W2111738185A5075391677 @default.
- W2111738185 hasAuthorship W2111738185A5091683403 @default.
- W2111738185 hasBestOaLocation W21117381852 @default.
- W2111738185 hasConcept C114614502 @default.
- W2111738185 hasConcept C132525143 @default.
- W2111738185 hasConcept C132569581 @default.
- W2111738185 hasConcept C134306372 @default.
- W2111738185 hasConcept C203776342 @default.
- W2111738185 hasConcept C33923547 @default.
- W2111738185 hasConcept C34388435 @default.
- W2111738185 hasConcept C41008148 @default.
- W2111738185 hasConcept C43517604 @default.
- W2111738185 hasConceptScore W2111738185C114614502 @default.
- W2111738185 hasConceptScore W2111738185C132525143 @default.
- W2111738185 hasConceptScore W2111738185C132569581 @default.
- W2111738185 hasConceptScore W2111738185C134306372 @default.
- W2111738185 hasConceptScore W2111738185C203776342 @default.
- W2111738185 hasConceptScore W2111738185C33923547 @default.
- W2111738185 hasConceptScore W2111738185C34388435 @default.
- W2111738185 hasConceptScore W2111738185C41008148 @default.
- W2111738185 hasConceptScore W2111738185C43517604 @default.
- W2111738185 hasLocation W21117381851 @default.
- W2111738185 hasLocation W21117381852 @default.
- W2111738185 hasOpenAccess W2111738185 @default.
- W2111738185 hasPrimaryLocation W21117381851 @default.
- W2111738185 hasRelatedWork W1871156538 @default.
- W2111738185 hasRelatedWork W2949660516 @default.
- W2111738185 hasRelatedWork W2951043270 @default.
- W2111738185 hasRelatedWork W2980075598 @default.
- W2111738185 hasRelatedWork W3080875783 @default.
- W2111738185 hasRelatedWork W4221146081 @default.
- W2111738185 hasRelatedWork W4285484079 @default.
- W2111738185 hasRelatedWork W4297690337 @default.
- W2111738185 hasRelatedWork W4306652466 @default.
- W2111738185 hasRelatedWork W4312183469 @default.
- W2111738185 isParatext "false" @default.
- W2111738185 isRetracted "false" @default.
- W2111738185 magId "2111738185" @default.
- W2111738185 workType "book-chapter" @default.