Matches in SemOpenAlex for { <https://semopenalex.org/work/W34305035> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W34305035 endingPage "91" @default.
- W34305035 startingPage "80" @default.
- W34305035 abstract "The Semantic Web lays its foundations on the study of graph and tree logics. One of the most expressive graph logics is the fully enriched μ-calculus, which is a modal logic equipped with least and greatest fixed-points, nominals, inverse programs and graded modalities. Although it is well-known that the fully enriched μ-calculus is undecidable, it was recently shown that this logic is decidable when its models are finite trees. In the present work, we study the fully-enriched μ-calculus for trees extended with Presburger constraints. These constraints generalize graded modalities by restricting the number of children nodes with respect to Presburger arithmetic expressions. We show that the logic is decidable in EXPTIME. This is achieved by the introduction of a satisfiability algorithm based on a Fischer-Ladner model construction that is able to handle binary encodings of Presburger constraints." @default.
- W34305035 created "2016-06-24" @default.
- W34305035 creator A5045857927 @default.
- W34305035 creator A5086701100 @default.
- W34305035 date "2013-01-01" @default.
- W34305035 modified "2023-10-16" @default.
- W34305035 title "Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger Constraints and Nominals" @default.
- W34305035 cites W1494939852 @default.
- W34305035 cites W1987278361 @default.
- W34305035 cites W2041580396 @default.
- W34305035 cites W2052432706 @default.
- W34305035 cites W2059215363 @default.
- W34305035 cites W2107444004 @default.
- W34305035 cites W2134829074 @default.
- W34305035 cites W2157821258 @default.
- W34305035 cites W2950897092 @default.
- W34305035 doi "https://doi.org/10.1007/978-3-642-45114-0_7" @default.
- W34305035 hasPublicationYear "2013" @default.
- W34305035 type Work @default.
- W34305035 sameAs 34305035 @default.
- W34305035 citedByCount "10" @default.
- W34305035 countsByYear W343050352015 @default.
- W34305035 countsByYear W343050352016 @default.
- W34305035 countsByYear W343050352017 @default.
- W34305035 countsByYear W343050352019 @default.
- W34305035 countsByYear W343050352022 @default.
- W34305035 crossrefType "book-chapter" @default.
- W34305035 hasAuthorship W34305035A5045857927 @default.
- W34305035 hasAuthorship W34305035A5086701100 @default.
- W34305035 hasConcept C11413529 @default.
- W34305035 hasConcept C118615104 @default.
- W34305035 hasConcept C153269930 @default.
- W34305035 hasConcept C168773769 @default.
- W34305035 hasConcept C179799912 @default.
- W34305035 hasConcept C185592680 @default.
- W34305035 hasConcept C188027245 @default.
- W34305035 hasConcept C192034797 @default.
- W34305035 hasConcept C197685441 @default.
- W34305035 hasConcept C27508121 @default.
- W34305035 hasConcept C33923547 @default.
- W34305035 hasConcept C41008148 @default.
- W34305035 hasConcept C56049555 @default.
- W34305035 hasConcept C5852641 @default.
- W34305035 hasConcept C71139939 @default.
- W34305035 hasConcept C80444323 @default.
- W34305035 hasConceptScore W34305035C11413529 @default.
- W34305035 hasConceptScore W34305035C118615104 @default.
- W34305035 hasConceptScore W34305035C153269930 @default.
- W34305035 hasConceptScore W34305035C168773769 @default.
- W34305035 hasConceptScore W34305035C179799912 @default.
- W34305035 hasConceptScore W34305035C185592680 @default.
- W34305035 hasConceptScore W34305035C188027245 @default.
- W34305035 hasConceptScore W34305035C192034797 @default.
- W34305035 hasConceptScore W34305035C197685441 @default.
- W34305035 hasConceptScore W34305035C27508121 @default.
- W34305035 hasConceptScore W34305035C33923547 @default.
- W34305035 hasConceptScore W34305035C41008148 @default.
- W34305035 hasConceptScore W34305035C56049555 @default.
- W34305035 hasConceptScore W34305035C5852641 @default.
- W34305035 hasConceptScore W34305035C71139939 @default.
- W34305035 hasConceptScore W34305035C80444323 @default.
- W34305035 hasLocation W343050351 @default.
- W34305035 hasOpenAccess W34305035 @default.
- W34305035 hasPrimaryLocation W343050351 @default.
- W34305035 hasRelatedWork W2040640762 @default.
- W34305035 hasRelatedWork W2154175621 @default.
- W34305035 hasRelatedWork W2160238445 @default.
- W34305035 hasRelatedWork W2167135424 @default.
- W34305035 hasRelatedWork W2305566032 @default.
- W34305035 hasRelatedWork W3014523212 @default.
- W34305035 hasRelatedWork W3089623425 @default.
- W34305035 hasRelatedWork W3102809343 @default.
- W34305035 hasRelatedWork W34305035 @default.
- W34305035 hasRelatedWork W4256275449 @default.
- W34305035 isParatext "false" @default.
- W34305035 isRetracted "false" @default.
- W34305035 magId "34305035" @default.
- W34305035 workType "book-chapter" @default.