FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208758539> ?p ?o ?g. }

• W3208758539 abstract "In this work we analyse the parameterised complexity of propositional inclusion (PINC) and independence logic (PIND). The problems of interest are model checking (MC) and satisfiability (SAT). The complexity of these problems is well understood in the classical (non-parameterised) setting. Mahmood and Meier (FoIKS 2020) recently studied the parameterised complexity of propositional dependence logic (PDL). As a continuation of their work, we classify inclusion and independence logic and thereby come closer to completing the picture with respect to the parametrised complexity for the three most studied logics in the propositional team semantics setting. We present results for each problem with respect to 8 different parameterisations. It turns out that for a team-based logic L such that L-atoms can be evaluated in polynomial time, then MC parameterised by teamsize is FPT. As a corollary, we get an FPT membership under the following parameterisations: formula-size, formula-depth, treewidth, and number of variables. The parameter teamsize shows interesting behavior for SAT. For PINC, the parameter teamsize is not meaningful, whereas for PDL and PIND the satisfiability is paraNP-complete. Finally, we prove that when parameterised by arity, both MC and SAT are paraNP-complete for each of the considered logics." @default.
• W3208758539 created "2021-11-08" @default.
• W3208758539 creator A5011855160 @default.
• W3208758539 creator A5073358565 @default.
• W3208758539 date "2021-10-27" @default.
• W3208758539 modified "2023-09-25" @default.
• W3208758539 title "Parameterised Complexity of Propositional Inclusion and Independence Logic." @default.
• W3208758539 cites W1488709943 @default.
• W3208758539 cites W1570425181 @default.
• W3208758539 cites W1973302434 @default.
• W3208758539 cites W2003216212 @default.
• W3208758539 cites W2034690236 @default.
• W3208758539 cites W2116087731 @default.
• W3208758539 cites W2137379463 @default.
• W3208758539 cites W2147999468 @default.
• W3208758539 cites W2405405439 @default.
• W3208758539 cites W2525499796 @default.
• W3208758539 cites W2608649399 @default.
• W3208758539 cites W2792285480 @default.
• W3208758539 cites W2936361327 @default.
• W3208758539 cites W2962791617 @default.
• W3208758539 cites W2963377543 @default.
• W3208758539 cites W2963829406 @default.
• W3208758539 cites W2963866037 @default.
• W3208758539 cites W2964051209 @default.
• W3208758539 cites W2964143660 @default.
• W3208758539 cites W2964183590 @default.
• W3208758539 cites W3003548459 @default.
• W3208758539 cites W3006150593 @default.
• W3208758539 cites W3013003957 @default.
• W3208758539 cites W3103522412 @default.
• W3208758539 hasPublicationYear "2021" @default.
• W3208758539 type Work @default.
• W3208758539 sameAs 3208758539 @default.
• W3208758539 citedByCount "0" @default.
• W3208758539 crossrefType "posted-content" @default.
• W3208758539 hasAuthorship W3208758539A5011855160 @default.
• W3208758539 hasAuthorship W3208758539A5073358565 @default.
• W3208758539 hasConcept C102993220 @default.
• W3208758539 hasConcept C105605280 @default.
• W3208758539 hasConcept C105795698 @default.
• W3208758539 hasConcept C108710211 @default.
• W3208758539 hasConcept C110039528 @default.
• W3208758539 hasConcept C11413529 @default.
• W3208758539 hasConcept C118615104 @default.
• W3208758539 hasConcept C132525143 @default.
• W3208758539 hasConcept C132569581 @default.
• W3208758539 hasConcept C14523651 @default.
• W3208758539 hasConcept C168773769 @default.
• W3208758539 hasConcept C179799912 @default.
• W3208758539 hasConcept C191222856 @default.
• W3208758539 hasConcept C203659156 @default.
• W3208758539 hasConcept C203776342 @default.
• W3208758539 hasConcept C2524010 @default.
• W3208758539 hasConcept C33203268 @default.
• W3208758539 hasConcept C33923547 @default.
• W3208758539 hasConcept C35651441 @default.
• W3208758539 hasConcept C3845977 @default.
• W3208758539 hasConcept C41008148 @default.
• W3208758539 hasConcept C43517604 @default.
• W3208758539 hasConcept C6943359 @default.
• W3208758539 hasConcept C69562738 @default.
• W3208758539 hasConcept C80444323 @default.
• W3208758539 hasConceptScore W3208758539C102993220 @default.
• W3208758539 hasConceptScore W3208758539C105605280 @default.
• W3208758539 hasConceptScore W3208758539C105795698 @default.
• W3208758539 hasConceptScore W3208758539C108710211 @default.
• W3208758539 hasConceptScore W3208758539C110039528 @default.
• W3208758539 hasConceptScore W3208758539C11413529 @default.
• W3208758539 hasConceptScore W3208758539C118615104 @default.
• W3208758539 hasConceptScore W3208758539C132525143 @default.
• W3208758539 hasConceptScore W3208758539C132569581 @default.
• W3208758539 hasConceptScore W3208758539C14523651 @default.
• W3208758539 hasConceptScore W3208758539C168773769 @default.
• W3208758539 hasConceptScore W3208758539C179799912 @default.
• W3208758539 hasConceptScore W3208758539C191222856 @default.
• W3208758539 hasConceptScore W3208758539C203659156 @default.
• W3208758539 hasConceptScore W3208758539C203776342 @default.
• W3208758539 hasConceptScore W3208758539C2524010 @default.
• W3208758539 hasConceptScore W3208758539C33203268 @default.
• W3208758539 hasConceptScore W3208758539C33923547 @default.
• W3208758539 hasConceptScore W3208758539C35651441 @default.
• W3208758539 hasConceptScore W3208758539C3845977 @default.
• W3208758539 hasConceptScore W3208758539C41008148 @default.
• W3208758539 hasConceptScore W3208758539C43517604 @default.
• W3208758539 hasConceptScore W3208758539C6943359 @default.
• W3208758539 hasConceptScore W3208758539C69562738 @default.
• W3208758539 hasConceptScore W3208758539C80444323 @default.
• W3208758539 hasLocation W32087585391 @default.
• W3208758539 hasOpenAccess W3208758539 @default.
• W3208758539 hasPrimaryLocation W32087585391 @default.
• W3208758539 hasRelatedWork W1573233002 @default.
• W3208758539 hasRelatedWork W1822333573 @default.
• W3208758539 hasRelatedWork W1965384668 @default.
• W3208758539 hasRelatedWork W1987019087 @default.
• W3208758539 hasRelatedWork W2014322692 @default.
• W3208758539 hasRelatedWork W2077145135 @default.
• W3208758539 hasRelatedWork W2115416792 @default.
• W3208758539 hasRelatedWork W2129495182 @default.
• W3208758539 hasRelatedWork W2189598663 @default.

• next