FRINK Linked Data Fragments server

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

• W1517205743 abstract "It has been recently shown that the fully enriched μ -calculus, an expressive modal logic, is undecidable. In the current work, we prove that this result does not longer hold when considering finite tree models. This is achieved with the introduction of an extension of the fully enriched μ -calculus for trees with numerical constraints. Contrastively with graded modalities, which restrict the occurrence of immediate successor nodes only, the logic introduced in this paper can concisely express numerical constraints on any tree region, as for instance the ancestor or descendant nodes. In order to show that the logic is in EXPTIME, we also provide a corresponding satisfiability algorithm. By succinct reductions to the logic, we identify several decidable extension of regular tree languages with counting and interleaving operators. It is also shown that XPath extensions with counting constructs on regular path queries can be concisely captured by the logic. Finally, we show that several XML reasoning problems (XPath queries with schemas), such as emptiness and containment, can be optimally solved with the satisfiability algorithm." @default.
• W1517205743 created "2016-06-24" @default.
• W1517205743 creator A5086701100 @default.
• W1517205743 date "2015-06-29" @default.
• W1517205743 modified "2023-09-22" @default.
• W1517205743 title "A Counting Logic for Trees" @default.
• W1517205743 cites W1494939852 @default.
• W1517205743 cites W1600628136 @default.
• W1517205743 cites W1608399088 @default.
• W1517205743 cites W170989275 @default.
• W1517205743 cites W1991960436 @default.
• W1517205743 cites W1996539580 @default.
• W1517205743 cites W2022002457 @default.
• W1517205743 cites W2023629560 @default.
• W1517205743 cites W2105748890 @default.
• W1517205743 cites W2107444004 @default.
• W1517205743 cites W2113800199 @default.
• W1517205743 cites W2134829074 @default.
• W1517205743 cites W2146886516 @default.
• W1517205743 cites W2157821258 @default.
• W1517205743 cites W2168910152 @default.
• W1517205743 cites W29619602 @default.
• W1517205743 cites W34305035 @default.
• W1517205743 cites W2585141290 @default.
• W1517205743 doi "https://doi.org/10.13053/cys-19-2-1999" @default.
• W1517205743 hasPublicationYear "2015" @default.
• W1517205743 type Work @default.
• W1517205743 sameAs 1517205743 @default.
• W1517205743 citedByCount "0" @default.
• W1517205743 crossrefType "journal-article" @default.
• W1517205743 hasAuthorship W1517205743A5086701100 @default.
• W1517205743 hasConcept C102993220 @default.
• W1517205743 hasConcept C111919701 @default.
• W1517205743 hasConcept C113174947 @default.
• W1517205743 hasConcept C11413529 @default.
• W1517205743 hasConcept C114614502 @default.
• W1517205743 hasConcept C118615104 @default.
• W1517205743 hasConcept C153269930 @default.
• W1517205743 hasConcept C168773769 @default.
• W1517205743 hasConcept C179799912 @default.
• W1517205743 hasConcept C185592680 @default.
• W1517205743 hasConcept C188027245 @default.
• W1517205743 hasConcept C192034797 @default.
• W1517205743 hasConcept C197685441 @default.
• W1517205743 hasConcept C199360897 @default.
• W1517205743 hasConcept C27508121 @default.
• W1517205743 hasConcept C2777735758 @default.
• W1517205743 hasConcept C2778029271 @default.
• W1517205743 hasConcept C2780213375 @default.
• W1517205743 hasConcept C33923547 @default.
• W1517205743 hasConcept C41008148 @default.
• W1517205743 hasConcept C55348073 @default.
• W1517205743 hasConcept C56049555 @default.
• W1517205743 hasConcept C71139939 @default.
• W1517205743 hasConcept C80444323 @default.
• W1517205743 hasConcept C8797682 @default.
• W1517205743 hasConceptScore W1517205743C102993220 @default.
• W1517205743 hasConceptScore W1517205743C111919701 @default.
• W1517205743 hasConceptScore W1517205743C113174947 @default.
• W1517205743 hasConceptScore W1517205743C11413529 @default.
• W1517205743 hasConceptScore W1517205743C114614502 @default.
• W1517205743 hasConceptScore W1517205743C118615104 @default.
• W1517205743 hasConceptScore W1517205743C153269930 @default.
• W1517205743 hasConceptScore W1517205743C168773769 @default.
• W1517205743 hasConceptScore W1517205743C179799912 @default.
• W1517205743 hasConceptScore W1517205743C185592680 @default.
• W1517205743 hasConceptScore W1517205743C188027245 @default.
• W1517205743 hasConceptScore W1517205743C192034797 @default.
• W1517205743 hasConceptScore W1517205743C197685441 @default.
• W1517205743 hasConceptScore W1517205743C199360897 @default.
• W1517205743 hasConceptScore W1517205743C27508121 @default.
• W1517205743 hasConceptScore W1517205743C2777735758 @default.
• W1517205743 hasConceptScore W1517205743C2778029271 @default.
• W1517205743 hasConceptScore W1517205743C2780213375 @default.
• W1517205743 hasConceptScore W1517205743C33923547 @default.
• W1517205743 hasConceptScore W1517205743C41008148 @default.
• W1517205743 hasConceptScore W1517205743C55348073 @default.
• W1517205743 hasConceptScore W1517205743C56049555 @default.
• W1517205743 hasConceptScore W1517205743C71139939 @default.
• W1517205743 hasConceptScore W1517205743C80444323 @default.
• W1517205743 hasConceptScore W1517205743C8797682 @default.
• W1517205743 hasLocation W15172057431 @default.
• W1517205743 hasOpenAccess W1517205743 @default.
• W1517205743 hasPrimaryLocation W15172057431 @default.
• W1517205743 hasRelatedWork W1509623480 @default.
• W1517205743 hasRelatedWork W1524062755 @default.
• W1517205743 hasRelatedWork W1549147858 @default.
• W1517205743 hasRelatedWork W1569742446 @default.
• W1517205743 hasRelatedWork W1594696993 @default.
• W1517205743 hasRelatedWork W1607441480 @default.
• W1517205743 hasRelatedWork W1988699971 @default.
• W1517205743 hasRelatedWork W1989267168 @default.
• W1517205743 hasRelatedWork W1998912565 @default.
• W1517205743 hasRelatedWork W2012714171 @default.
• W1517205743 hasRelatedWork W2040851932 @default.
• W1517205743 hasRelatedWork W2053455078 @default.
• W1517205743 hasRelatedWork W2127397152 @default.
• W1517205743 hasRelatedWork W2154983498 @default.
• W1517205743 hasRelatedWork W2233931102 @default.
• W1517205743 hasRelatedWork W2266126362 @default.

• next