FRINK Linked Data Fragments server

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

• W1569742446 abstract "Regular tree grammars and regular path expressions constitute core constructs widely used in programming languages and type systems. Nevertheless, there has been little research so far on reasoning frameworks for path expressions where node cardinality constraints occur along a path in a tree. We present a logic capable of expressing deep counting along paths which may include arbitrary recursive forward and backward navigation. The counting extensions can be seen as a generalization of graded modalities that count immediate successor nodes. While the combination of graded modalities, nominals, and inverse modalities yields undecidable logics over graphs, we show that these features can be combined in a tree logic decidable in exponential time." @default.
• W1569742446 created "2016-06-24" @default.
• W1569742446 creator A5007570521 @default.
• W1569742446 creator A5013605827 @default.
• W1569742446 creator A5058810337 @default.
• W1569742446 creator A5086701100 @default.
• W1569742446 date "2010-04-13" @default.
• W1569742446 modified "2023-10-10" @default.
• W1569742446 title "A Tree Logic with Graded Paths and Nominals" @default.
• W1569742446 cites W142499984 @default.
• W1569742446 cites W1494939852 @default.
• W1569742446 cites W1501952738 @default.
• W1569742446 cites W150932629 @default.
• W1569742446 cites W1551851178 @default.
• W1569742446 cites W1559305750 @default.
• W1569742446 cites W1577412708 @default.
• W1569742446 cites W1578881602 @default.
• W1569742446 cites W1716100575 @default.
• W1569742446 cites W1931716395 @default.
• W1569742446 cites W1968420454 @default.
• W1569742446 cites W1982213843 @default.
• W1569742446 cites W1987278361 @default.
• W1569742446 cites W1991960436 @default.
• W1569742446 cites W2004294619 @default.
• W1569742446 cites W2007464118 @default.
• W1569742446 cites W2023629560 @default.
• W1569742446 cites W2035020702 @default.
• W1569742446 cites W2059040279 @default.
• W1569742446 cites W2105748890 @default.
• W1569742446 cites W2107444004 @default.
• W1569742446 cites W2124876285 @default.
• W1569742446 cites W2146886516 @default.
• W1569742446 cites W2147650421 @default.
• W1569742446 cites W2157821258 @default.
• W1569742446 cites W2294034341 @default.
• W1569742446 cites W109947125 @default.
• W1569742446 cites W2585141290 @default.
• W1569742446 hasPublicationYear "2010" @default.
• W1569742446 type Work @default.
• W1569742446 sameAs 1569742446 @default.
• W1569742446 citedByCount "0" @default.
• W1569742446 crossrefType "posted-content" @default.
• W1569742446 hasAuthorship W1569742446A5007570521 @default.
• W1569742446 hasAuthorship W1569742446A5013605827 @default.
• W1569742446 hasAuthorship W1569742446A5058810337 @default.
• W1569742446 hasAuthorship W1569742446A5086701100 @default.
• W1569742446 hasConcept C113174947 @default.
• W1569742446 hasConcept C11413529 @default.
• W1569742446 hasConcept C114614502 @default.
• W1569742446 hasConcept C118615104 @default.
• W1569742446 hasConcept C124101348 @default.
• W1569742446 hasConcept C127413603 @default.
• W1569742446 hasConcept C134306372 @default.
• W1569742446 hasConcept C153269930 @default.
• W1569742446 hasConcept C192034797 @default.
• W1569742446 hasConcept C199360897 @default.
• W1569742446 hasConcept C2777735758 @default.
• W1569742446 hasConcept C33923547 @default.
• W1569742446 hasConcept C41008148 @default.
• W1569742446 hasConcept C62611344 @default.
• W1569742446 hasConcept C66938386 @default.
• W1569742446 hasConcept C75306776 @default.
• W1569742446 hasConcept C80444323 @default.
• W1569742446 hasConcept C87117476 @default.
• W1569742446 hasConceptScore W1569742446C113174947 @default.
• W1569742446 hasConceptScore W1569742446C11413529 @default.
• W1569742446 hasConceptScore W1569742446C114614502 @default.
• W1569742446 hasConceptScore W1569742446C118615104 @default.
• W1569742446 hasConceptScore W1569742446C124101348 @default.
• W1569742446 hasConceptScore W1569742446C127413603 @default.
• W1569742446 hasConceptScore W1569742446C134306372 @default.
• W1569742446 hasConceptScore W1569742446C153269930 @default.
• W1569742446 hasConceptScore W1569742446C192034797 @default.
• W1569742446 hasConceptScore W1569742446C199360897 @default.
• W1569742446 hasConceptScore W1569742446C2777735758 @default.
• W1569742446 hasConceptScore W1569742446C33923547 @default.
• W1569742446 hasConceptScore W1569742446C41008148 @default.
• W1569742446 hasConceptScore W1569742446C62611344 @default.
• W1569742446 hasConceptScore W1569742446C66938386 @default.
• W1569742446 hasConceptScore W1569742446C75306776 @default.
• W1569742446 hasConceptScore W1569742446C80444323 @default.
• W1569742446 hasConceptScore W1569742446C87117476 @default.
• W1569742446 hasOpenAccess W1569742446 @default.
• W1569742446 hasRelatedWork W1486949897 @default.
• W1569742446 hasRelatedWork W1491087626 @default.
• W1569742446 hasRelatedWork W1509623480 @default.
• W1569742446 hasRelatedWork W1517205743 @default.
• W1569742446 hasRelatedWork W1549147858 @default.
• W1569742446 hasRelatedWork W1552203816 @default.
• W1569742446 hasRelatedWork W1600014478 @default.
• W1569742446 hasRelatedWork W1607441480 @default.
• W1569742446 hasRelatedWork W1983344700 @default.
• W1569742446 hasRelatedWork W1998912565 @default.
• W1569742446 hasRelatedWork W2004256601 @default.
• W1569742446 hasRelatedWork W2040851932 @default.
• W1569742446 hasRelatedWork W2080476051 @default.
• W1569742446 hasRelatedWork W2127397152 @default.
• W1569742446 hasRelatedWork W2161369910 @default.
• W1569742446 hasRelatedWork W2266126362 @default.
• W1569742446 hasRelatedWork W2905667772 @default.

• next