Matches in SemOpenAlex for { <https://semopenalex.org/work/W1553082912> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W1553082912 endingPage "525" @default.
- W1553082912 startingPage "509" @default.
- W1553082912 abstract "In this paper, we begin with an approach to non-termination inference of logic programs. Our framework relies on an extension of the Lifting Theorem, where some specific argument positions can be instantiated while others are generalized. Atomic left looping queries are generated bottom-up from selected subsets of the binary unfoldings of the program of interest. Then non-termination inference is tailored to attempt proofs of optimality of left termination conditions computed by a termination inference tool. For each class of atomic queries not covered by a termination condition, the aim is to ensure the existence of one query from this class which leads to an infinite search tree. An experimental evaluation is reported. When termination and non-termination analysis produce complementary results for a logic procedure, they induce a characterization of the operational behavior of the logic procedure with respect to the left most selection rule and the language used to describe sets of atomic queries." @default.
- W1553082912 created "2016-06-24" @default.
- W1553082912 creator A5002144715 @default.
- W1553082912 creator A5063276563 @default.
- W1553082912 creator A5069027426 @default.
- W1553082912 date "2002-01-01" @default.
- W1553082912 modified "2023-09-27" @default.
- W1553082912 title "Detecting Optimal Termination Conditions of Logic Programs" @default.
- W1553082912 cites W1524883003 @default.
- W1553082912 cites W1551870799 @default.
- W1553082912 cites W1584357601 @default.
- W1553082912 cites W1584601513 @default.
- W1553082912 cites W1834328158 @default.
- W1553082912 cites W1981314990 @default.
- W1553082912 cites W1991589943 @default.
- W1553082912 cites W1996679397 @default.
- W1553082912 cites W1998131498 @default.
- W1553082912 cites W2009286786 @default.
- W1553082912 cites W2085832943 @default.
- W1553082912 cites W2143382644 @default.
- W1553082912 cites W2147335415 @default.
- W1553082912 cites W2059194615 @default.
- W1553082912 doi "https://doi.org/10.1007/3-540-45789-5_35" @default.
- W1553082912 hasPublicationYear "2002" @default.
- W1553082912 type Work @default.
- W1553082912 sameAs 1553082912 @default.
- W1553082912 citedByCount "12" @default.
- W1553082912 countsByYear W15530829122022 @default.
- W1553082912 crossrefType "book-chapter" @default.
- W1553082912 hasAuthorship W1553082912A5002144715 @default.
- W1553082912 hasAuthorship W1553082912A5063276563 @default.
- W1553082912 hasAuthorship W1553082912A5069027426 @default.
- W1553082912 hasBestOaLocation W15530829122 @default.
- W1553082912 hasConcept C108710211 @default.
- W1553082912 hasConcept C11413529 @default.
- W1553082912 hasConcept C118615104 @default.
- W1553082912 hasConcept C128838566 @default.
- W1553082912 hasConcept C154945302 @default.
- W1553082912 hasConcept C171250308 @default.
- W1553082912 hasConcept C185592680 @default.
- W1553082912 hasConcept C192562407 @default.
- W1553082912 hasConcept C199360897 @default.
- W1553082912 hasConcept C2524010 @default.
- W1553082912 hasConcept C2776214188 @default.
- W1553082912 hasConcept C2777212361 @default.
- W1553082912 hasConcept C2778029271 @default.
- W1553082912 hasConcept C2780841128 @default.
- W1553082912 hasConcept C2987117450 @default.
- W1553082912 hasConcept C33923547 @default.
- W1553082912 hasConcept C3746660 @default.
- W1553082912 hasConcept C41008148 @default.
- W1553082912 hasConcept C55493867 @default.
- W1553082912 hasConcept C80444323 @default.
- W1553082912 hasConcept C98184364 @default.
- W1553082912 hasConceptScore W1553082912C108710211 @default.
- W1553082912 hasConceptScore W1553082912C11413529 @default.
- W1553082912 hasConceptScore W1553082912C118615104 @default.
- W1553082912 hasConceptScore W1553082912C128838566 @default.
- W1553082912 hasConceptScore W1553082912C154945302 @default.
- W1553082912 hasConceptScore W1553082912C171250308 @default.
- W1553082912 hasConceptScore W1553082912C185592680 @default.
- W1553082912 hasConceptScore W1553082912C192562407 @default.
- W1553082912 hasConceptScore W1553082912C199360897 @default.
- W1553082912 hasConceptScore W1553082912C2524010 @default.
- W1553082912 hasConceptScore W1553082912C2776214188 @default.
- W1553082912 hasConceptScore W1553082912C2777212361 @default.
- W1553082912 hasConceptScore W1553082912C2778029271 @default.
- W1553082912 hasConceptScore W1553082912C2780841128 @default.
- W1553082912 hasConceptScore W1553082912C2987117450 @default.
- W1553082912 hasConceptScore W1553082912C33923547 @default.
- W1553082912 hasConceptScore W1553082912C3746660 @default.
- W1553082912 hasConceptScore W1553082912C41008148 @default.
- W1553082912 hasConceptScore W1553082912C55493867 @default.
- W1553082912 hasConceptScore W1553082912C80444323 @default.
- W1553082912 hasConceptScore W1553082912C98184364 @default.
- W1553082912 hasLocation W15530829121 @default.
- W1553082912 hasLocation W15530829122 @default.
- W1553082912 hasLocation W15530829123 @default.
- W1553082912 hasOpenAccess W1553082912 @default.
- W1553082912 hasPrimaryLocation W15530829121 @default.
- W1553082912 hasRelatedWork W123221615 @default.
- W1553082912 hasRelatedWork W134035063 @default.
- W1553082912 hasRelatedWork W134220871 @default.
- W1553082912 hasRelatedWork W156767974 @default.
- W1553082912 hasRelatedWork W2003151706 @default.
- W1553082912 hasRelatedWork W2022000024 @default.
- W1553082912 hasRelatedWork W2097388634 @default.
- W1553082912 hasRelatedWork W2103391829 @default.
- W1553082912 hasRelatedWork W3216091191 @default.
- W1553082912 hasRelatedWork W50928870 @default.
- W1553082912 isParatext "false" @default.
- W1553082912 isRetracted "false" @default.
- W1553082912 magId "1553082912" @default.
- W1553082912 workType "book-chapter" @default.