FRINK Linked Data Fragments server

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

• W2891153460 endingPage "264" @default.
• W2891153460 startingPage "241" @default.
• W2891153460 abstract "Some temporal properties of reactive systems, such as actions with duration and temporal aggregations, which are inherently interval-based, can not be properly expressed by the standard, point-based temporal logics LTL, CTL and CTL ⁎ , as they give a state-by-state account of system evolution. Conversely, interval temporal logics—which feature intervals, instead of points, as their primitive entities—naturally express them. We study the model checking (MC) problem for Halpern and Shoham's modal logic of time intervals (HS), interpreted on Kripke structures, under the homogeneity assumption. HS is the best known interval-based temporal logic, which has one modality for each of the 13 ordering relations between pairs of intervals (Allen's relations), apart from equality. We focus on MC for some HS fragments featuring modalities for (a subset of) Allen's relations meet, met-by, started-by, and finished-by, showing that it is in P NP . Additionally, we provide some complexity lower bounds to the problem." @default.
• W2891153460 created "2018-09-27" @default.
• W2891153460 creator A5000697088 @default.
• W2891153460 creator A5015572946 @default.
• W2891153460 creator A5015702335 @default.
• W2891153460 creator A5050753589 @default.
• W2891153460 creator A5086034910 @default.
• W2891153460 date "2018-10-01" @default.
• W2891153460 modified "2023-10-16" @default.
• W2891153460 title "Model checking for fragments of the interval temporal logic HS at the low levels of the polynomial time hierarchy" @default.
• W2891153460 cites W1970275850 @default.
• W2891153460 cites W1970603830 @default.
• W2891153460 cites W1978654873 @default.
• W2891153460 cites W2003227046 @default.
• W2891153460 cites W2004306067 @default.
• W2891153460 cites W2004536649 @default.
• W2891153460 cites W2007939755 @default.
• W2891153460 cites W2011132281 @default.
• W2891153460 cites W2017960715 @default.
• W2891153460 cites W2058277150 @default.
• W2891153460 cites W2065251436 @default.
• W2891153460 cites W2087983477 @default.
• W2891153460 cites W2088044688 @default.
• W2891153460 cites W2089546742 @default.
• W2891153460 cites W2091409608 @default.
• W2891153460 cites W2092486735 @default.
• W2891153460 cites W2098761907 @default.
• W2891153460 cites W2110472925 @default.
• W2891153460 cites W2154503781 @default.
• W2891153460 cites W2161484642 @default.
• W2891153460 cites W2260626089 @default.
• W2891153460 cites W2524839944 @default.
• W2891153460 cites W2753745283 @default.
• W2891153460 cites W2952938415 @default.
• W2891153460 doi "https://doi.org/10.1016/j.ic.2018.09.006" @default.
• W2891153460 hasPublicationYear "2018" @default.
• W2891153460 type Work @default.
• W2891153460 sameAs 2891153460 @default.
• W2891153460 citedByCount "8" @default.
• W2891153460 countsByYear W28911534602019 @default.
• W2891153460 countsByYear W28911534602020 @default.
• W2891153460 countsByYear W28911534602021 @default.
• W2891153460 countsByYear W28911534602022 @default.
• W2891153460 countsByYear W28911534602023 @default.
• W2891153460 crossrefType "journal-article" @default.
• W2891153460 hasAuthorship W2891153460A5000697088 @default.
• W2891153460 hasAuthorship W2891153460A5015572946 @default.
• W2891153460 hasAuthorship W2891153460A5015702335 @default.
• W2891153460 hasAuthorship W2891153460A5050753589 @default.
• W2891153460 hasAuthorship W2891153460A5086034910 @default.
• W2891153460 hasBestOaLocation W28911534601 @default.
• W2891153460 hasConcept C110251889 @default.
• W2891153460 hasConcept C11413529 @default.
• W2891153460 hasConcept C114614502 @default.
• W2891153460 hasConcept C118615104 @default.
• W2891153460 hasConcept C134306372 @default.
• W2891153460 hasConcept C162324750 @default.
• W2891153460 hasConcept C162670838 @default.
• W2891153460 hasConcept C198008173 @default.
• W2891153460 hasConcept C25016198 @default.
• W2891153460 hasConcept C2778067643 @default.
• W2891153460 hasConcept C311688 @default.
• W2891153460 hasConcept C31170391 @default.
• W2891153460 hasConcept C33923547 @default.
• W2891153460 hasConcept C34447519 @default.
• W2891153460 hasConcept C41008148 @default.
• W2891153460 hasConcept C4777664 @default.
• W2891153460 hasConcept C80444323 @default.
• W2891153460 hasConcept C90119067 @default.
• W2891153460 hasConceptScore W2891153460C110251889 @default.
• W2891153460 hasConceptScore W2891153460C11413529 @default.
• W2891153460 hasConceptScore W2891153460C114614502 @default.
• W2891153460 hasConceptScore W2891153460C118615104 @default.
• W2891153460 hasConceptScore W2891153460C134306372 @default.
• W2891153460 hasConceptScore W2891153460C162324750 @default.
• W2891153460 hasConceptScore W2891153460C162670838 @default.
• W2891153460 hasConceptScore W2891153460C198008173 @default.
• W2891153460 hasConceptScore W2891153460C25016198 @default.
• W2891153460 hasConceptScore W2891153460C2778067643 @default.
• W2891153460 hasConceptScore W2891153460C311688 @default.
• W2891153460 hasConceptScore W2891153460C31170391 @default.
• W2891153460 hasConceptScore W2891153460C33923547 @default.
• W2891153460 hasConceptScore W2891153460C34447519 @default.
• W2891153460 hasConceptScore W2891153460C41008148 @default.
• W2891153460 hasConceptScore W2891153460C4777664 @default.
• W2891153460 hasConceptScore W2891153460C80444323 @default.
• W2891153460 hasConceptScore W2891153460C90119067 @default.
• W2891153460 hasLocation W28911534601 @default.
• W2891153460 hasLocation W28911534602 @default.
• W2891153460 hasOpenAccess W2891153460 @default.
• W2891153460 hasPrimaryLocation W28911534601 @default.
• W2891153460 hasRelatedWork W1981889059 @default.
• W2891153460 hasRelatedWork W2062273688 @default.
• W2891153460 hasRelatedWork W2350953867 @default.
• W2891153460 hasRelatedWork W2560587823 @default.
• W2891153460 hasRelatedWork W2759584604 @default.
• W2891153460 hasRelatedWork W2931443989 @default.
• W2891153460 hasRelatedWork W2996932295 @default.

• next