FRINK Linked Data Fragments server

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

• W2897975441 endingPage "26" @default.
• W2897975441 startingPage "1" @default.
• W2897975441 abstract "The primary characteristic of interval temporal logic is that intervals, rather than points, are taken as the primitive ontological entities. Given their generally bad computational behavior of interval temporal logics, several techniques exist to produce decidable and computationally affordable temporal logics based on intervals. In this paper we take inspiration from Golumbic and Shamir's coarser interval algebras, which generalize the classical Allen's Interval Algebra, in order to define two previously unknown variants of Halpern and Shoham's logic (HS) based on coarser relations. We prove that, perhaps surprisingly, the satisfiability problem for the coarsest of the two variants, namely HS3, not only is decidable, but PSpace-complete in the finite/discrete case, and PSpace-hard in any other case; besides proving its complexity bounds, we implement a tableau-based satisfiability checker for it and test it against a systematically generated benchmark. Our results are strengthened by showing that not all coarser-than-Allen's relations are a guarantee of decidability, as we prove that the second variant, namely HS7, remains undecidable in all interesting cases." @default.
• W2897975441 created "2018-10-26" @default.
• W2897975441 creator A5003911860 @default.
• W2897975441 creator A5010550710 @default.
• W2897975441 creator A5033477969 @default.
• W2897975441 creator A5050753589 @default.
• W2897975441 creator A5054011396 @default.
• W2897975441 date "2019-01-01" @default.
• W2897975441 modified "2023-09-30" @default.
• W2897975441 title "On coarser interval temporal logics" @default.
• W2897975441 cites W1549008998 @default.
• W2897975441 cites W1593443951 @default.
• W2897975441 cites W1669019556 @default.
• W2897975441 cites W1786588788 @default.
• W2897975441 cites W1970275850 @default.
• W2897975441 cites W1972734518 @default.
• W2897975441 cites W1978654873 @default.
• W2897975441 cites W1980167179 @default.
• W2897975441 cites W2004536649 @default.
• W2897975441 cites W2007939755 @default.
• W2897975441 cites W2011132281 @default.
• W2897975441 cites W2061725160 @default.
• W2897975441 cites W2077264791 @default.
• W2897975441 cites W2083861746 @default.
• W2897975441 cites W2123970780 @default.
• W2897975441 cites W2127478418 @default.
• W2897975441 cites W2161484642 @default.
• W2897975441 cites W2260626089 @default.
• W2897975441 cites W2952938415 @default.
• W2897975441 cites W3124696891 @default.
• W2897975441 cites W835068744 @default.
• W2897975441 doi "https://doi.org/10.1016/j.artint.2018.09.001" @default.
• W2897975441 hasPublicationYear "2019" @default.
• W2897975441 type Work @default.
• W2897975441 sameAs 2897975441 @default.
• W2897975441 citedByCount "6" @default.
• W2897975441 countsByYear W28979754412020 @default.
• W2897975441 countsByYear W28979754412021 @default.
• W2897975441 countsByYear W28979754412023 @default.
• W2897975441 crossrefType "journal-article" @default.
• W2897975441 hasAuthorship W2897975441A5003911860 @default.
• W2897975441 hasAuthorship W2897975441A5010550710 @default.
• W2897975441 hasAuthorship W2897975441A5033477969 @default.
• W2897975441 hasAuthorship W2897975441A5050753589 @default.
• W2897975441 hasAuthorship W2897975441A5054011396 @default.
• W2897975441 hasBestOaLocation W28979754411 @default.
• W2897975441 hasConcept C110251889 @default.
• W2897975441 hasConcept C11413529 @default.
• W2897975441 hasConcept C114614502 @default.
• W2897975441 hasConcept C118615104 @default.
• W2897975441 hasConcept C153269930 @default.
• W2897975441 hasConcept C162670838 @default.
• W2897975441 hasConcept C168773769 @default.
• W2897975441 hasConcept C179799912 @default.
• W2897975441 hasConcept C185592680 @default.
• W2897975441 hasConcept C188027245 @default.
• W2897975441 hasConcept C192034797 @default.
• W2897975441 hasConcept C197685441 @default.
• W2897975441 hasConcept C25016198 @default.
• W2897975441 hasConcept C27508121 @default.
• W2897975441 hasConcept C2778067643 @default.
• W2897975441 hasConcept C33923547 @default.
• W2897975441 hasConcept C41008148 @default.
• W2897975441 hasConcept C4777664 @default.
• W2897975441 hasConcept C6943359 @default.
• W2897975441 hasConcept C71139939 @default.
• W2897975441 hasConcept C80444323 @default.
• W2897975441 hasConceptScore W2897975441C110251889 @default.
• W2897975441 hasConceptScore W2897975441C11413529 @default.
• W2897975441 hasConceptScore W2897975441C114614502 @default.
• W2897975441 hasConceptScore W2897975441C118615104 @default.
• W2897975441 hasConceptScore W2897975441C153269930 @default.
• W2897975441 hasConceptScore W2897975441C162670838 @default.
• W2897975441 hasConceptScore W2897975441C168773769 @default.
• W2897975441 hasConceptScore W2897975441C179799912 @default.
• W2897975441 hasConceptScore W2897975441C185592680 @default.
• W2897975441 hasConceptScore W2897975441C188027245 @default.
• W2897975441 hasConceptScore W2897975441C192034797 @default.
• W2897975441 hasConceptScore W2897975441C197685441 @default.
• W2897975441 hasConceptScore W2897975441C25016198 @default.
• W2897975441 hasConceptScore W2897975441C27508121 @default.
• W2897975441 hasConceptScore W2897975441C2778067643 @default.
• W2897975441 hasConceptScore W2897975441C33923547 @default.
• W2897975441 hasConceptScore W2897975441C41008148 @default.
• W2897975441 hasConceptScore W2897975441C4777664 @default.
• W2897975441 hasConceptScore W2897975441C6943359 @default.
• W2897975441 hasConceptScore W2897975441C71139939 @default.
• W2897975441 hasConceptScore W2897975441C80444323 @default.
• W2897975441 hasFunder F4320321764 @default.
• W2897975441 hasFunder F4320322930 @default.
• W2897975441 hasFunder F4320334079 @default.
• W2897975441 hasLocation W28979754411 @default.
• W2897975441 hasLocation W28979754412 @default.
• W2897975441 hasOpenAccess W2897975441 @default.
• W2897975441 hasPrimaryLocation W28979754411 @default.
• W2897975441 hasRelatedWork W1523732197 @default.
• W2897975441 hasRelatedWork W2056142535 @default.
• W2897975441 hasRelatedWork W2257030466 @default.

• next