Matches in SemOpenAlex for { <https://semopenalex.org/work/W2143441770> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2143441770 endingPage "85" @default.
- W2143441770 startingPage "69" @default.
- W2143441770 abstract "We present a new approach to termination analysis of logic programs. The essence of the approach is that we make use of general term-orderings (instead of level mappings), like it is done in transformational approaches to logic program termination analysis, but that we apply these orderings directly to the logic program and not to the termrewrite system obtained through some transformation. We define some variants of acceptability, based on general term-orderings, and show how they are equivalent to LD-termination. We develop a demand driven, constraint-based approach to verify these acceptability-variants.The advantage of the approach over standard acceptability is that in some cases, where complex level mappings are needed, fairly simple termorderings may be easily generated. The advantage over transformational approaches is that it avoids the transformation step all together.Keywordstermination analysisacceptabilityterm-orderings" @default.
- W2143441770 created "2016-06-24" @default.
- W2143441770 creator A5024311222 @default.
- W2143441770 creator A5054753279 @default.
- W2143441770 date "2001-01-01" @default.
- W2143441770 modified "2023-09-25" @default.
- W2143441770 title "Non-transformational Termination Analysis of Logic Programs, Based on General Term-Orderings" @default.
- W2143441770 cites W1480610117 @default.
- W2143441770 cites W1536808037 @default.
- W2143441770 cites W1551870799 @default.
- W2143441770 cites W1980047375 @default.
- W2143441770 cites W2009286786 @default.
- W2143441770 cites W2011889853 @default.
- W2143441770 cites W2014030742 @default.
- W2143441770 cites W2069076448 @default.
- W2143441770 cites W2073984738 @default.
- W2143441770 cites W2093199226 @default.
- W2143441770 cites W2111883026 @default.
- W2143441770 cites W2751063908 @default.
- W2143441770 cites W4246910572 @default.
- W2143441770 doi "https://doi.org/10.1007/3-540-45142-0_5" @default.
- W2143441770 hasPublicationYear "2001" @default.
- W2143441770 type Work @default.
- W2143441770 sameAs 2143441770 @default.
- W2143441770 citedByCount "9" @default.
- W2143441770 crossrefType "book-chapter" @default.
- W2143441770 hasAuthorship W2143441770A5024311222 @default.
- W2143441770 hasAuthorship W2143441770A5054753279 @default.
- W2143441770 hasBestOaLocation W21434417702 @default.
- W2143441770 hasConcept C104317684 @default.
- W2143441770 hasConcept C111472728 @default.
- W2143441770 hasConcept C11413529 @default.
- W2143441770 hasConcept C121332964 @default.
- W2143441770 hasConcept C128838566 @default.
- W2143441770 hasConcept C138885662 @default.
- W2143441770 hasConcept C17744445 @default.
- W2143441770 hasConcept C185592680 @default.
- W2143441770 hasConcept C204241405 @default.
- W2143441770 hasConcept C2524010 @default.
- W2143441770 hasConcept C2776036281 @default.
- W2143441770 hasConcept C2778361913 @default.
- W2143441770 hasConcept C2780586882 @default.
- W2143441770 hasConcept C2987117450 @default.
- W2143441770 hasConcept C33923547 @default.
- W2143441770 hasConcept C38775462 @default.
- W2143441770 hasConcept C39549134 @default.
- W2143441770 hasConcept C41008148 @default.
- W2143441770 hasConcept C55493867 @default.
- W2143441770 hasConcept C61797465 @default.
- W2143441770 hasConcept C62520636 @default.
- W2143441770 hasConcept C80444323 @default.
- W2143441770 hasConceptScore W2143441770C104317684 @default.
- W2143441770 hasConceptScore W2143441770C111472728 @default.
- W2143441770 hasConceptScore W2143441770C11413529 @default.
- W2143441770 hasConceptScore W2143441770C121332964 @default.
- W2143441770 hasConceptScore W2143441770C128838566 @default.
- W2143441770 hasConceptScore W2143441770C138885662 @default.
- W2143441770 hasConceptScore W2143441770C17744445 @default.
- W2143441770 hasConceptScore W2143441770C185592680 @default.
- W2143441770 hasConceptScore W2143441770C204241405 @default.
- W2143441770 hasConceptScore W2143441770C2524010 @default.
- W2143441770 hasConceptScore W2143441770C2776036281 @default.
- W2143441770 hasConceptScore W2143441770C2778361913 @default.
- W2143441770 hasConceptScore W2143441770C2780586882 @default.
- W2143441770 hasConceptScore W2143441770C2987117450 @default.
- W2143441770 hasConceptScore W2143441770C33923547 @default.
- W2143441770 hasConceptScore W2143441770C38775462 @default.
- W2143441770 hasConceptScore W2143441770C39549134 @default.
- W2143441770 hasConceptScore W2143441770C41008148 @default.
- W2143441770 hasConceptScore W2143441770C55493867 @default.
- W2143441770 hasConceptScore W2143441770C61797465 @default.
- W2143441770 hasConceptScore W2143441770C62520636 @default.
- W2143441770 hasConceptScore W2143441770C80444323 @default.
- W2143441770 hasLocation W21434417701 @default.
- W2143441770 hasLocation W21434417702 @default.
- W2143441770 hasLocation W21434417703 @default.
- W2143441770 hasOpenAccess W2143441770 @default.
- W2143441770 hasPrimaryLocation W21434417701 @default.
- W2143441770 hasRelatedWork W1497984322 @default.
- W2143441770 hasRelatedWork W1517456004 @default.
- W2143441770 hasRelatedWork W1559858295 @default.
- W2143441770 hasRelatedWork W1602421615 @default.
- W2143441770 hasRelatedWork W1899649530 @default.
- W2143441770 hasRelatedWork W1943281423 @default.
- W2143441770 hasRelatedWork W2101625730 @default.
- W2143441770 hasRelatedWork W2143441770 @default.
- W2143441770 hasRelatedWork W2166534619 @default.
- W2143441770 hasRelatedWork W2247596074 @default.
- W2143441770 isParatext "false" @default.
- W2143441770 isRetracted "false" @default.
- W2143441770 magId "2143441770" @default.
- W2143441770 workType "book-chapter" @default.