Matches in SemOpenAlex for { <https://semopenalex.org/work/W2010904739> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W2010904739 endingPage "521" @default.
- W2010904739 startingPage "506" @default.
- W2010904739 abstract "We study the application of the magic-sets transformation technique to Datalog ⌝ (function-free programs with negation) that may not have two-valued well-founded models. In this general setting, the well-founded model of the original program does not always agree with the well-founded model of the magic program derived by commonly used left-to-right sideways information-passing strategies on the query. In order to correct this disagreement we present a novel method that is obtained by slightly and naturally tailoring Van Gelder's alternating fixpoint technique to any magic program." @default.
- W2010904739 created "2016-06-24" @default.
- W2010904739 creator A5049124202 @default.
- W2010904739 date "1996-06-01" @default.
- W2010904739 modified "2023-09-30" @default.
- W2010904739 title "An Extension of Van Gelder's Alternating Fixpoint to Magic Programs" @default.
- W2010904739 cites W144096106 @default.
- W2010904739 cites W1522225310 @default.
- W2010904739 cites W158383006 @default.
- W2010904739 cites W1672891595 @default.
- W2010904739 cites W1968513265 @default.
- W2010904739 cites W1971140053 @default.
- W2010904739 cites W1978108034 @default.
- W2010904739 cites W1988635065 @default.
- W2010904739 cites W1999734621 @default.
- W2010904739 cites W2012217975 @default.
- W2010904739 cites W2012662948 @default.
- W2010904739 cites W2019968021 @default.
- W2010904739 cites W2024612361 @default.
- W2010904739 cites W2031868932 @default.
- W2010904739 cites W2036240164 @default.
- W2010904739 cites W2050571300 @default.
- W2010904739 cites W2081983371 @default.
- W2010904739 cites W2085609918 @default.
- W2010904739 cites W2132063146 @default.
- W2010904739 cites W2132745831 @default.
- W2010904739 cites W2139875914 @default.
- W2010904739 cites W2145698784 @default.
- W2010904739 cites W22560161 @default.
- W2010904739 cites W30202435 @default.
- W2010904739 cites W31561947 @default.
- W2010904739 cites W31986234 @default.
- W2010904739 cites W57176829 @default.
- W2010904739 cites W69788734 @default.
- W2010904739 doi "https://doi.org/10.1006/jcss.1996.0038" @default.
- W2010904739 hasPublicationYear "1996" @default.
- W2010904739 type Work @default.
- W2010904739 sameAs 2010904739 @default.
- W2010904739 citedByCount "9" @default.
- W2010904739 countsByYear W20109047392017 @default.
- W2010904739 countsByYear W20109047392021 @default.
- W2010904739 crossrefType "journal-article" @default.
- W2010904739 hasAuthorship W2010904739A5049124202 @default.
- W2010904739 hasBestOaLocation W20109047391 @default.
- W2010904739 hasConcept C121332964 @default.
- W2010904739 hasConcept C134306372 @default.
- W2010904739 hasConcept C148230440 @default.
- W2010904739 hasConcept C199360897 @default.
- W2010904739 hasConcept C2185349 @default.
- W2010904739 hasConcept C2777704519 @default.
- W2010904739 hasConcept C2778029271 @default.
- W2010904739 hasConcept C2778361913 @default.
- W2010904739 hasConcept C33923547 @default.
- W2010904739 hasConcept C41008148 @default.
- W2010904739 hasConcept C61445026 @default.
- W2010904739 hasConcept C62520636 @default.
- W2010904739 hasConceptScore W2010904739C121332964 @default.
- W2010904739 hasConceptScore W2010904739C134306372 @default.
- W2010904739 hasConceptScore W2010904739C148230440 @default.
- W2010904739 hasConceptScore W2010904739C199360897 @default.
- W2010904739 hasConceptScore W2010904739C2185349 @default.
- W2010904739 hasConceptScore W2010904739C2777704519 @default.
- W2010904739 hasConceptScore W2010904739C2778029271 @default.
- W2010904739 hasConceptScore W2010904739C2778361913 @default.
- W2010904739 hasConceptScore W2010904739C33923547 @default.
- W2010904739 hasConceptScore W2010904739C41008148 @default.
- W2010904739 hasConceptScore W2010904739C61445026 @default.
- W2010904739 hasConceptScore W2010904739C62520636 @default.
- W2010904739 hasIssue "3" @default.
- W2010904739 hasLocation W20109047391 @default.
- W2010904739 hasOpenAccess W2010904739 @default.
- W2010904739 hasPrimaryLocation W20109047391 @default.
- W2010904739 hasRelatedWork W1502289629 @default.
- W2010904739 hasRelatedWork W1971140053 @default.
- W2010904739 hasRelatedWork W1975980014 @default.
- W2010904739 hasRelatedWork W1978516371 @default.
- W2010904739 hasRelatedWork W2010904739 @default.
- W2010904739 hasRelatedWork W20664083 @default.
- W2010904739 hasRelatedWork W2099914569 @default.
- W2010904739 hasRelatedWork W2740990710 @default.
- W2010904739 hasRelatedWork W2951885490 @default.
- W2010904739 hasRelatedWork W4302587616 @default.
- W2010904739 hasVolume "52" @default.
- W2010904739 isParatext "false" @default.
- W2010904739 isRetracted "false" @default.
- W2010904739 magId "2010904739" @default.
- W2010904739 workType "article" @default.