Matches in SemOpenAlex for { <https://semopenalex.org/work/W1572167134> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W1572167134 abstract "It is known that a fixed computation rule, such as used in most logic programming systems, does not suffice for normal logic programs. For instance, SLS resolution, which evaluates programs according to the well-founded semantics, makes use of an oracle to determine the next literal to select in [5], and of ideal parallelism in [8]. Given these limits, it is natural to define a subclass of normal programs for which a fixed computation rule is adequate. This class, left-to-right dynamically stratified programs, properly includes other stratification classes." @default.
- W1572167134 created "2016-06-24" @default.
- W1572167134 creator A5009640372 @default.
- W1572167134 creator A5055338447 @default.
- W1572167134 creator A5066015052 @default.
- W1572167134 date "1996-01-01" @default.
- W1572167134 modified "2023-09-27" @default.
- W1572167134 title "An abstract machine for fixed-order dynamically stratified programs" @default.
- W1572167134 cites W1544862482 @default.
- W1572167134 cites W1586121629 @default.
- W1572167134 cites W2024612361 @default.
- W1572167134 cites W2026433347 @default.
- W1572167134 cites W2031868932 @default.
- W1572167134 cites W2061565124 @default.
- W1572167134 cites W2070598037 @default.
- W1572167134 cites W2085609918 @default.
- W1572167134 cites W2111353076 @default.
- W1572167134 cites W2181042156 @default.
- W1572167134 doi "https://doi.org/10.1007/3-540-61511-3_98" @default.
- W1572167134 hasPublicationYear "1996" @default.
- W1572167134 type Work @default.
- W1572167134 sameAs 1572167134 @default.
- W1572167134 citedByCount "4" @default.
- W1572167134 crossrefType "book-chapter" @default.
- W1572167134 hasAuthorship W1572167134A5009640372 @default.
- W1572167134 hasAuthorship W1572167134A5055338447 @default.
- W1572167134 hasAuthorship W1572167134A5066015052 @default.
- W1572167134 hasConcept C100481476 @default.
- W1572167134 hasConcept C100701293 @default.
- W1572167134 hasConcept C128838566 @default.
- W1572167134 hasConcept C184337299 @default.
- W1572167134 hasConcept C189790780 @default.
- W1572167134 hasConcept C192943249 @default.
- W1572167134 hasConcept C195701839 @default.
- W1572167134 hasConcept C199360897 @default.
- W1572167134 hasConcept C2780882242 @default.
- W1572167134 hasConcept C2987117450 @default.
- W1572167134 hasConcept C3527866 @default.
- W1572167134 hasConcept C41008148 @default.
- W1572167134 hasConcept C45374587 @default.
- W1572167134 hasConcept C55166926 @default.
- W1572167134 hasConcept C59822182 @default.
- W1572167134 hasConcept C80444323 @default.
- W1572167134 hasConcept C81721847 @default.
- W1572167134 hasConcept C86803240 @default.
- W1572167134 hasConcept C88548481 @default.
- W1572167134 hasConceptScore W1572167134C100481476 @default.
- W1572167134 hasConceptScore W1572167134C100701293 @default.
- W1572167134 hasConceptScore W1572167134C128838566 @default.
- W1572167134 hasConceptScore W1572167134C184337299 @default.
- W1572167134 hasConceptScore W1572167134C189790780 @default.
- W1572167134 hasConceptScore W1572167134C192943249 @default.
- W1572167134 hasConceptScore W1572167134C195701839 @default.
- W1572167134 hasConceptScore W1572167134C199360897 @default.
- W1572167134 hasConceptScore W1572167134C2780882242 @default.
- W1572167134 hasConceptScore W1572167134C2987117450 @default.
- W1572167134 hasConceptScore W1572167134C3527866 @default.
- W1572167134 hasConceptScore W1572167134C41008148 @default.
- W1572167134 hasConceptScore W1572167134C45374587 @default.
- W1572167134 hasConceptScore W1572167134C55166926 @default.
- W1572167134 hasConceptScore W1572167134C59822182 @default.
- W1572167134 hasConceptScore W1572167134C80444323 @default.
- W1572167134 hasConceptScore W1572167134C81721847 @default.
- W1572167134 hasConceptScore W1572167134C86803240 @default.
- W1572167134 hasConceptScore W1572167134C88548481 @default.
- W1572167134 hasLocation W15721671341 @default.
- W1572167134 hasOpenAccess W1572167134 @default.
- W1572167134 hasPrimaryLocation W15721671341 @default.
- W1572167134 hasRelatedWork W1512767 @default.
- W1572167134 hasRelatedWork W1515167996 @default.
- W1572167134 hasRelatedWork W1529317038 @default.
- W1572167134 hasRelatedWork W1538037212 @default.
- W1572167134 hasRelatedWork W1563640839 @default.
- W1572167134 hasRelatedWork W1570106656 @default.
- W1572167134 hasRelatedWork W1572660243 @default.
- W1572167134 hasRelatedWork W1572831335 @default.
- W1572167134 hasRelatedWork W1580003217 @default.
- W1572167134 hasRelatedWork W1596939801 @default.
- W1572167134 hasRelatedWork W1599274725 @default.
- W1572167134 hasRelatedWork W1709097247 @default.
- W1572167134 hasRelatedWork W2096928802 @default.
- W1572167134 hasRelatedWork W2106556867 @default.
- W1572167134 hasRelatedWork W2488441460 @default.
- W1572167134 hasRelatedWork W2520633456 @default.
- W1572167134 hasRelatedWork W25559139 @default.
- W1572167134 hasRelatedWork W3093584058 @default.
- W1572167134 hasRelatedWork W59721016 @default.
- W1572167134 hasRelatedWork W82600474 @default.
- W1572167134 isParatext "false" @default.
- W1572167134 isRetracted "false" @default.
- W1572167134 magId "1572167134" @default.
- W1572167134 workType "book-chapter" @default.