FRINK Linked Data Fragments server

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

• W41804490 endingPage "135" @default.
• W41804490 startingPage "121" @default.
• W41804490 abstract "Periodicity constraints are present in many logical for- malisms, in fragments of Presburger LTL, in calendar logics, and in log- ics for access control, to quote a few examples. We introduce the logic PLTL mod , an extension of Linear-Time Temporal Logic LTL with past- time operators whose atomic formulae are defined from a first-order con- straint language dealing with periodicity. The underlying constraint lan- guage is a fragment of Presburger arithmetic shown to admit a pspace- complete satisfiability problem and we establish that PLTL mod model- checking and satisfiability problems are in pspace as plain LTL. The logic PLTL mod is a quite rich and concise language to express periodicity con- straints. We show that adding logical quantification to PLTL mod provides expspace-hard problems. As another application, we establish that the equivalence problem for extended single-string automata, known to ex- press the equality of time granularities, is pspace-complete. The paper concludes by presenting a bunch of open problems related to fragments of Presburger LTL." @default.
• W41804490 created "2016-06-24" @default.
• W41804490 creator A5060413318 @default.
• W41804490 date "2004-01-01" @default.
• W41804490 modified "2023-09-26" @default.
• W41804490 title "LTL over Integer Periodicity Constraints (Extended Abstract)" @default.
• W41804490 cites W1512785896 @default.
• W41804490 cites W1543261728 @default.
• W41804490 cites W1547584984 @default.
• W41804490 cites W1558119772 @default.
• W41804490 cites W1559140144 @default.
• W41804490 cites W1579017347 @default.
• W41804490 cites W1855380557 @default.
• W41804490 cites W1979514837 @default.
• W41804490 cites W1990609140 @default.
• W41804490 cites W2003227046 @default.
• W41804490 cites W2024016985 @default.
• W41804490 cites W2030263557 @default.
• W41804490 cites W2046895474 @default.
• W41804490 cites W2054589415 @default.
• W41804490 cites W2063997960 @default.
• W41804490 cites W2101508170 @default.
• W41804490 cites W2103146530 @default.
• W41804490 cites W2106971968 @default.
• W41804490 cites W2111695282 @default.
• W41804490 cites W2138500680 @default.
• W41804490 cites W2146250272 @default.
• W41804490 cites W2149932816 @default.
• W41804490 cites W2173636442 @default.
• W41804490 cites W2970129202 @default.
• W41804490 hasPublicationYear "2004" @default.
• W41804490 type Work @default.
• W41804490 sameAs 41804490 @default.
• W41804490 citedByCount "4" @default.
• W41804490 crossrefType "proceedings-article" @default.
• W41804490 hasAuthorship W41804490A5060413318 @default.
• W41804490 hasConcept C110251889 @default.
• W41804490 hasConcept C112505250 @default.
• W41804490 hasConcept C11413529 @default.
• W41804490 hasConcept C118615104 @default.
• W41804490 hasConcept C153269930 @default.
• W41804490 hasConcept C168773769 @default.
• W41804490 hasConcept C179799912 @default.
• W41804490 hasConcept C197685441 @default.
• W41804490 hasConcept C25016198 @default.
• W41804490 hasConcept C2776235265 @default.
• W41804490 hasConcept C2780069185 @default.
• W41804490 hasConcept C28077239 @default.
• W41804490 hasConcept C311688 @default.
• W41804490 hasConcept C33923547 @default.
• W41804490 hasConcept C41008148 @default.
• W41804490 hasConcept C4777664 @default.
• W41804490 hasConcept C5852641 @default.
• W41804490 hasConcept C80444323 @default.
• W41804490 hasConceptScore W41804490C110251889 @default.
• W41804490 hasConceptScore W41804490C112505250 @default.
• W41804490 hasConceptScore W41804490C11413529 @default.
• W41804490 hasConceptScore W41804490C118615104 @default.
• W41804490 hasConceptScore W41804490C153269930 @default.
• W41804490 hasConceptScore W41804490C168773769 @default.
• W41804490 hasConceptScore W41804490C179799912 @default.
• W41804490 hasConceptScore W41804490C197685441 @default.
• W41804490 hasConceptScore W41804490C25016198 @default.
• W41804490 hasConceptScore W41804490C2776235265 @default.
• W41804490 hasConceptScore W41804490C2780069185 @default.
• W41804490 hasConceptScore W41804490C28077239 @default.
• W41804490 hasConceptScore W41804490C311688 @default.
• W41804490 hasConceptScore W41804490C33923547 @default.
• W41804490 hasConceptScore W41804490C41008148 @default.
• W41804490 hasConceptScore W41804490C4777664 @default.
• W41804490 hasConceptScore W41804490C5852641 @default.
• W41804490 hasConceptScore W41804490C80444323 @default.
• W41804490 hasLocation W418044901 @default.
• W41804490 hasOpenAccess W41804490 @default.
• W41804490 hasPrimaryLocation W418044901 @default.
• W41804490 hasRelatedWork W1479786137 @default.
• W41804490 hasRelatedWork W1502743955 @default.
• W41804490 hasRelatedWork W1532358383 @default.
• W41804490 hasRelatedWork W1599584094 @default.
• W41804490 hasRelatedWork W1855380557 @default.
• W41804490 hasRelatedWork W2111695282 @default.
• W41804490 hasRelatedWork W2111714843 @default.
• W41804490 hasRelatedWork W2162230135 @default.
• W41804490 hasRelatedWork W2167135424 @default.
• W41804490 hasRelatedWork W2173636442 @default.
• W41804490 hasRelatedWork W2627030740 @default.
• W41804490 hasRelatedWork W2901540136 @default.
• W41804490 hasRelatedWork W2951449870 @default.
• W41804490 hasRelatedWork W2975157560 @default.
• W41804490 hasRelatedWork W3014523212 @default.
• W41804490 hasRelatedWork W3033959390 @default.
• W41804490 hasRelatedWork W3037419933 @default.
• W41804490 hasRelatedWork W3198519740 @default.
• W41804490 hasRelatedWork W2584881689 @default.
• W41804490 hasRelatedWork W2585141290 @default.
• W41804490 isParatext "false" @default.
• W41804490 isRetracted "false" @default.
• W41804490 magId "41804490" @default.

• next