Matches in SemOpenAlex for { <https://semopenalex.org/work/W4309229081> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W4309229081 endingPage "1644" @default.
- W4309229081 startingPage "1624" @default.
- W4309229081 abstract "Abstract In this paper, we investigate the parameterized complexity of model checking for Dependence and Independence logic, which are well studied logics in the area of Team Semantics. We start with a list of nine immediate parameterizations for this problem, namely the number of disjunctions (i.e. splits)/(free) variables/universal quantifiers, formula-size, the tree-width of the Gaifman graph of the input structure, the size of the universe/team and the arity of dependence atoms. We present a comprehensive picture of the parameterized complexity of model checking and obtain a division of the problem into tractable and various intractable degrees. Furthermore, we also consider the complexity of the most important variants (data and expression complexity) of the model checking problem by fixing parts of the input." @default.
- W4309229081 created "2022-11-24" @default.
- W4309229081 creator A5011855160 @default.
- W4309229081 creator A5025571978 @default.
- W4309229081 creator A5069777444 @default.
- W4309229081 date "2022-11-14" @default.
- W4309229081 modified "2023-09-30" @default.
- W4309229081 title "A parameterized view on the complexity of dependence and independence logic" @default.
- W4309229081 cites W1482215821 @default.
- W4309229081 cites W1489366126 @default.
- W4309229081 cites W1926269500 @default.
- W4309229081 cites W1991388620 @default.
- W4309229081 cites W2002722727 @default.
- W4309229081 cites W2003216212 @default.
- W4309229081 cites W2034690236 @default.
- W4309229081 cites W2044535619 @default.
- W4309229081 cites W2079986269 @default.
- W4309229081 cites W2085550081 @default.
- W4309229081 cites W2169393469 @default.
- W4309229081 cites W2964051209 @default.
- W4309229081 cites W2964104541 @default.
- W4309229081 cites W3103522412 @default.
- W4309229081 cites W4252380885 @default.
- W4309229081 doi "https://doi.org/10.1093/logcom/exac070" @default.
- W4309229081 hasPublicationYear "2022" @default.
- W4309229081 type Work @default.
- W4309229081 citedByCount "1" @default.
- W4309229081 countsByYear W43092290812023 @default.
- W4309229081 crossrefType "journal-article" @default.
- W4309229081 hasAuthorship W4309229081A5011855160 @default.
- W4309229081 hasAuthorship W4309229081A5025571978 @default.
- W4309229081 hasAuthorship W4309229081A5069777444 @default.
- W4309229081 hasBestOaLocation W43092290812 @default.
- W4309229081 hasConcept C105605280 @default.
- W4309229081 hasConcept C105795698 @default.
- W4309229081 hasConcept C108710211 @default.
- W4309229081 hasConcept C110546421 @default.
- W4309229081 hasConcept C113174947 @default.
- W4309229081 hasConcept C11413529 @default.
- W4309229081 hasConcept C114614502 @default.
- W4309229081 hasConcept C118615104 @default.
- W4309229081 hasConcept C132525143 @default.
- W4309229081 hasConcept C133142742 @default.
- W4309229081 hasConcept C154945302 @default.
- W4309229081 hasConcept C165464430 @default.
- W4309229081 hasConcept C179799912 @default.
- W4309229081 hasConcept C2524010 @default.
- W4309229081 hasConcept C311688 @default.
- W4309229081 hasConcept C33923547 @default.
- W4309229081 hasConcept C35651441 @default.
- W4309229081 hasConcept C41008148 @default.
- W4309229081 hasConcept C56289965 @default.
- W4309229081 hasConcept C80444323 @default.
- W4309229081 hasConcept C84525736 @default.
- W4309229081 hasConceptScore W4309229081C105605280 @default.
- W4309229081 hasConceptScore W4309229081C105795698 @default.
- W4309229081 hasConceptScore W4309229081C108710211 @default.
- W4309229081 hasConceptScore W4309229081C110546421 @default.
- W4309229081 hasConceptScore W4309229081C113174947 @default.
- W4309229081 hasConceptScore W4309229081C11413529 @default.
- W4309229081 hasConceptScore W4309229081C114614502 @default.
- W4309229081 hasConceptScore W4309229081C118615104 @default.
- W4309229081 hasConceptScore W4309229081C132525143 @default.
- W4309229081 hasConceptScore W4309229081C133142742 @default.
- W4309229081 hasConceptScore W4309229081C154945302 @default.
- W4309229081 hasConceptScore W4309229081C165464430 @default.
- W4309229081 hasConceptScore W4309229081C179799912 @default.
- W4309229081 hasConceptScore W4309229081C2524010 @default.
- W4309229081 hasConceptScore W4309229081C311688 @default.
- W4309229081 hasConceptScore W4309229081C33923547 @default.
- W4309229081 hasConceptScore W4309229081C35651441 @default.
- W4309229081 hasConceptScore W4309229081C41008148 @default.
- W4309229081 hasConceptScore W4309229081C56289965 @default.
- W4309229081 hasConceptScore W4309229081C80444323 @default.
- W4309229081 hasConceptScore W4309229081C84525736 @default.
- W4309229081 hasIssue "8" @default.
- W4309229081 hasLocation W43092290811 @default.
- W4309229081 hasLocation W43092290812 @default.
- W4309229081 hasOpenAccess W4309229081 @default.
- W4309229081 hasPrimaryLocation W43092290811 @default.
- W4309229081 hasRelatedWork W1539117866 @default.
- W4309229081 hasRelatedWork W1834737061 @default.
- W4309229081 hasRelatedWork W1988772559 @default.
- W4309229081 hasRelatedWork W2962755120 @default.
- W4309229081 hasRelatedWork W3200143297 @default.
- W4309229081 hasRelatedWork W4205298752 @default.
- W4309229081 hasRelatedWork W4286970061 @default.
- W4309229081 hasRelatedWork W4289702104 @default.
- W4309229081 hasRelatedWork W4309229081 @default.
- W4309229081 hasRelatedWork W2565115296 @default.
- W4309229081 hasVolume "32" @default.
- W4309229081 isParatext "false" @default.
- W4309229081 isRetracted "false" @default.
- W4309229081 workType "article" @default.