Matches in SemOpenAlex for { <https://semopenalex.org/work/W1980112335> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1980112335 endingPage "90" @default.
- W1980112335 startingPage "55" @default.
- W1980112335 abstract "In this paper a new class of Datalog programs with negation called subsumption-stratified Datalog is presented. None of the conditions used to describe subsumption-stratified Datalog programs depend on a particular extensional database (EDB). So a check may be done at compile time rather than at run time. In fact a syntactical subclass with the same expressive power is given. The main idea of subsumption-stratified Datalog is to disregard derivations if they are not needed, i.e. if they will always yield false or if they are subsumed by others yielding the same result. The subsumption-model is evaluated as the semantics of subsumption-stratified Datalog. It is shown to be equivalent to some other approaches especially the well-founded and the stable model semantics. Furthermore it is shown that the expressive power of subsumption-stratified Datalog is strictly higher than the expressive power of stratified Datalog, but strictly lower than the expressive power of fixpoint logic." @default.
- W1980112335 created "2016-06-24" @default.
- W1980112335 creator A5065969705 @default.
- W1980112335 date "1998-07-01" @default.
- W1980112335 modified "2023-09-26" @default.
- W1980112335 title "Subsumption-stratified datalog" @default.
- W1980112335 cites W1485332185 @default.
- W1980112335 cites W1509428113 @default.
- W1980112335 cites W1541434994 @default.
- W1980112335 cites W1555661095 @default.
- W1980112335 cites W1569205066 @default.
- W1980112335 cites W1570025952 @default.
- W1980112335 cites W1672891595 @default.
- W1980112335 cites W1768000531 @default.
- W1980112335 cites W1846087057 @default.
- W1980112335 cites W187843134 @default.
- W1980112335 cites W194413726 @default.
- W1980112335 cites W194816663 @default.
- W1980112335 cites W1968513265 @default.
- W1980112335 cites W1972376013 @default.
- W1980112335 cites W1979514837 @default.
- W1980112335 cites W1987660355 @default.
- W1980112335 cites W1999320791 @default.
- W1980112335 cites W1999734621 @default.
- W1980112335 cites W2002089154 @default.
- W1980112335 cites W2010160994 @default.
- W1980112335 cites W2019968021 @default.
- W1980112335 cites W2024430355 @default.
- W1980112335 cites W2031868932 @default.
- W1980112335 cites W2032769242 @default.
- W1980112335 cites W2040019628 @default.
- W1980112335 cites W2050571300 @default.
- W1980112335 cites W2063545044 @default.
- W1980112335 cites W2067326626 @default.
- W1980112335 cites W2070553391 @default.
- W1980112335 cites W2091849010 @default.
- W1980112335 cites W2094818741 @default.
- W1980112335 cites W2098678491 @default.
- W1980112335 cites W2104150717 @default.
- W1980112335 cites W2105486835 @default.
- W1980112335 cites W2110463644 @default.
- W1980112335 cites W2111353076 @default.
- W1980112335 cites W2132063146 @default.
- W1980112335 cites W2132745831 @default.
- W1980112335 cites W2145067417 @default.
- W1980112335 cites W2162832844 @default.
- W1980112335 cites W266212533 @default.
- W1980112335 cites W27749096 @default.
- W1980112335 cites W2912517684 @default.
- W1980112335 cites W31986234 @default.
- W1980112335 cites W642836142 @default.
- W1980112335 doi "https://doi.org/10.1016/s0743-1066(97)10007-3" @default.
- W1980112335 hasPublicationYear "1998" @default.
- W1980112335 type Work @default.
- W1980112335 sameAs 1980112335 @default.
- W1980112335 citedByCount "0" @default.
- W1980112335 crossrefType "journal-article" @default.
- W1980112335 hasAuthorship W1980112335A5065969705 @default.
- W1980112335 hasBestOaLocation W19801123351 @default.
- W1980112335 hasConcept C148230440 @default.
- W1980112335 hasConcept C154945302 @default.
- W1980112335 hasConcept C184337299 @default.
- W1980112335 hasConcept C195818886 @default.
- W1980112335 hasConcept C199360897 @default.
- W1980112335 hasConcept C2185349 @default.
- W1980112335 hasConcept C2777212361 @default.
- W1980112335 hasConcept C2777502361 @default.
- W1980112335 hasConcept C41008148 @default.
- W1980112335 hasConceptScore W1980112335C148230440 @default.
- W1980112335 hasConceptScore W1980112335C154945302 @default.
- W1980112335 hasConceptScore W1980112335C184337299 @default.
- W1980112335 hasConceptScore W1980112335C195818886 @default.
- W1980112335 hasConceptScore W1980112335C199360897 @default.
- W1980112335 hasConceptScore W1980112335C2185349 @default.
- W1980112335 hasConceptScore W1980112335C2777212361 @default.
- W1980112335 hasConceptScore W1980112335C2777502361 @default.
- W1980112335 hasConceptScore W1980112335C41008148 @default.
- W1980112335 hasIssue "1" @default.
- W1980112335 hasLocation W19801123351 @default.
- W1980112335 hasOpenAccess W1980112335 @default.
- W1980112335 hasPrimaryLocation W19801123351 @default.
- W1980112335 hasRelatedWork W1502477797 @default.
- W1980112335 hasRelatedWork W1539752246 @default.
- W1980112335 hasRelatedWork W1975980014 @default.
- W1980112335 hasRelatedWork W1984231681 @default.
- W1980112335 hasRelatedWork W1997397657 @default.
- W1980112335 hasRelatedWork W2146468542 @default.
- W1980112335 hasRelatedWork W2740990710 @default.
- W1980112335 hasRelatedWork W2950709784 @default.
- W1980112335 hasRelatedWork W79246384 @default.
- W1980112335 hasRelatedWork W2593015871 @default.
- W1980112335 hasVolume "36" @default.
- W1980112335 isParatext "false" @default.
- W1980112335 isRetracted "false" @default.
- W1980112335 magId "1980112335" @default.
- W1980112335 workType "article" @default.