FRINK Linked Data Fragments server

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

• W2008029457 endingPage "79" @default.
• W2008029457 startingPage "42" @default.
• W2008029457 abstract "We present Datalog LITE, a new deductive query language with a linear-time model-checking algorithm, that is, linear time data complexity and program complexity. Datalog LITE is a variant of Datalog that uses stratified negation, restricted variable occurrences and a limited form of universal quantification in rule bodies.Despite linear-time evaluation, Datalog LITE is highly expressive: It encompasses popular modal and temporal logics such as CTL or the alternation-free μ-calculus. In fact, these formalisms have natural presentations as fragments of Datalog LITE. Further, Datalog LITE is equivalent to the alternation-free portion of guarded fixed-point logic. Consequently, linear-time model checking algorithms for all mentioned logics are obtained in a unified way.The results are complemented by inexpressibility proofs to the effect that linear-time fragments of stratified Datalog have too limited expressive power." @default.
• W2008029457 created "2016-06-24" @default.
• W2008029457 creator A5010064604 @default.
• W2008029457 creator A5050151740 @default.
• W2008029457 creator A5052440027 @default.
• W2008029457 date "2002-01-01" @default.
• W2008029457 modified "2023-09-23" @default.
• W2008029457 title "Datalog LITE" @default.
• W2008029457 cites W1483892218 @default.
• W2008029457 cites W1558081775 @default.
• W2008029457 cites W1968513265 @default.
• W2008029457 cites W1969965298 @default.
• W2008029457 cites W1989783863 @default.
• W2008029457 cites W1990609140 @default.
• W2008029457 cites W1991981864 @default.
• W2008029457 cites W2008276941 @default.
• W2008029457 cites W2011992362 @default.
• W2008029457 cites W2015640848 @default.
• W2008029457 cites W2020666986 @default.
• W2008029457 cites W2021929022 @default.
• W2008029457 cites W2025970985 @default.
• W2008029457 cites W2028737227 @default.
• W2008029457 cites W2029591641 @default.
• W2008029457 cites W2043360684 @default.
• W2008029457 cites W2061438988 @default.
• W2008029457 cites W2063545044 @default.
• W2008029457 cites W2079107830 @default.
• W2008029457 cites W2080267935 @default.
• W2008029457 cites W2080593426 @default.
• W2008029457 cites W2089595935 @default.
• W2008029457 cites W2118391576 @default.
• W2008029457 cites W2155996966 @default.
• W2008029457 cites W2159808530 @default.
• W2008029457 cites W2806619258 @default.
• W2008029457 cites W4251186343 @default.
• W2008029457 cites W891461 @default.
• W2008029457 doi "https://doi.org/10.1145/504077.504079" @default.
• W2008029457 hasPublicationYear "2002" @default.
• W2008029457 type Work @default.
• W2008029457 sameAs 2008029457 @default.
• W2008029457 citedByCount "66" @default.
• W2008029457 countsByYear W20080294572012 @default.
• W2008029457 countsByYear W20080294572013 @default.
• W2008029457 countsByYear W20080294572014 @default.
• W2008029457 countsByYear W20080294572016 @default.
• W2008029457 countsByYear W20080294572018 @default.
• W2008029457 countsByYear W20080294572019 @default.
• W2008029457 countsByYear W20080294572020 @default.
• W2008029457 countsByYear W20080294572021 @default.
• W2008029457 crossrefType "journal-article" @default.
• W2008029457 hasAuthorship W2008029457A5010064604 @default.
• W2008029457 hasAuthorship W2008029457A5050151740 @default.
• W2008029457 hasAuthorship W2008029457A5052440027 @default.
• W2008029457 hasConcept C108710211 @default.
• W2008029457 hasConcept C11413529 @default.
• W2008029457 hasConcept C118615104 @default.
• W2008029457 hasConcept C148230440 @default.
• W2008029457 hasConcept C153269930 @default.
• W2008029457 hasConcept C171018156 @default.
• W2008029457 hasConcept C195818886 @default.
• W2008029457 hasConcept C199360897 @default.
• W2008029457 hasConcept C2185349 @default.
• W2008029457 hasConcept C2524010 @default.
• W2008029457 hasConcept C2776235265 @default.
• W2008029457 hasConcept C311688 @default.
• W2008029457 hasConcept C33923547 @default.
• W2008029457 hasConcept C41008148 @default.
• W2008029457 hasConcept C80444323 @default.
• W2008029457 hasConceptScore W2008029457C108710211 @default.
• W2008029457 hasConceptScore W2008029457C11413529 @default.
• W2008029457 hasConceptScore W2008029457C118615104 @default.
• W2008029457 hasConceptScore W2008029457C148230440 @default.
• W2008029457 hasConceptScore W2008029457C153269930 @default.
• W2008029457 hasConceptScore W2008029457C171018156 @default.
• W2008029457 hasConceptScore W2008029457C195818886 @default.
• W2008029457 hasConceptScore W2008029457C199360897 @default.
• W2008029457 hasConceptScore W2008029457C2185349 @default.
• W2008029457 hasConceptScore W2008029457C2524010 @default.
• W2008029457 hasConceptScore W2008029457C2776235265 @default.
• W2008029457 hasConceptScore W2008029457C311688 @default.
• W2008029457 hasConceptScore W2008029457C33923547 @default.
• W2008029457 hasConceptScore W2008029457C41008148 @default.
• W2008029457 hasConceptScore W2008029457C80444323 @default.
• W2008029457 hasIssue "1" @default.
• W2008029457 hasLocation W20080294571 @default.
• W2008029457 hasOpenAccess W2008029457 @default.
• W2008029457 hasPrimaryLocation W20080294571 @default.
• W2008029457 hasRelatedWork W131276444 @default.
• W2008029457 hasRelatedWork W2008029457 @default.
• W2008029457 hasRelatedWork W2399284863 @default.
• W2008029457 hasRelatedWork W2798884761 @default.
• W2008029457 hasRelatedWork W2949461525 @default.
• W2008029457 hasRelatedWork W2966447359 @default.
• W2008029457 hasRelatedWork W2997405294 @default.
• W2008029457 hasRelatedWork W3007515937 @default.
• W2008029457 hasRelatedWork W4288046192 @default.
• W2008029457 hasRelatedWork W4302587616 @default.
• W2008029457 hasVolume "3" @default.

• next