Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566656731> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1566656731 endingPage "325" @default.
- W1566656731 startingPage "311" @default.
- W1566656731 abstract "This paper introduces a new technique for termination analysis of definite logic programs based on polynomial interpretations. The principle of this technique is to map each function and predicate symbol to a polynomial over some domain of natural numbers, like it has been done in proving termination of term rewriting systems. Such polynomial interpretations can be seen as a direct generalisation of the traditional techniques in termination analysis of LPs, where (semi-) linear norms and level mappings are used. Our extension generalises these to arbitrary polynomials. We extend a number of standard concepts and results on termination analysis to the context of polynomial interpretations. We propose a constraint based approach for automatically generating polynomial interpretations that satisfy termination conditions." @default.
- W1566656731 created "2016-06-24" @default.
- W1566656731 creator A5024311222 @default.
- W1566656731 creator A5028043061 @default.
- W1566656731 date "2005-01-01" @default.
- W1566656731 modified "2023-09-25" @default.
- W1566656731 title "Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs" @default.
- W1566656731 cites W111009595 @default.
- W1566656731 cites W1491884928 @default.
- W1566656731 cites W1566656731 @default.
- W1566656731 cites W1988455648 @default.
- W1566656731 cites W2009286786 @default.
- W1566656731 cites W2011889853 @default.
- W1566656731 cites W2038571924 @default.
- W1566656731 cites W2069076448 @default.
- W1566656731 cites W2089111669 @default.
- W1566656731 cites W2121757274 @default.
- W1566656731 cites W2141171354 @default.
- W1566656731 cites W2149605327 @default.
- W1566656731 cites W4206370914 @default.
- W1566656731 doi "https://doi.org/10.1007/11562931_24" @default.
- W1566656731 hasPublicationYear "2005" @default.
- W1566656731 type Work @default.
- W1566656731 sameAs 1566656731 @default.
- W1566656731 citedByCount "17" @default.
- W1566656731 countsByYear W15666567312014 @default.
- W1566656731 crossrefType "book-chapter" @default.
- W1566656731 hasAuthorship W1566656731A5024311222 @default.
- W1566656731 hasAuthorship W1566656731A5028043061 @default.
- W1566656731 hasBestOaLocation W15666567312 @default.
- W1566656731 hasConcept C102993220 @default.
- W1566656731 hasConcept C11413529 @default.
- W1566656731 hasConcept C118615104 @default.
- W1566656731 hasConcept C134306372 @default.
- W1566656731 hasConcept C136119220 @default.
- W1566656731 hasConcept C140146324 @default.
- W1566656731 hasConcept C154690210 @default.
- W1566656731 hasConcept C19689857 @default.
- W1566656731 hasConcept C199360897 @default.
- W1566656731 hasConcept C202444582 @default.
- W1566656731 hasConcept C2778029271 @default.
- W1566656731 hasConcept C33923547 @default.
- W1566656731 hasConcept C41008148 @default.
- W1566656731 hasConcept C80444323 @default.
- W1566656731 hasConcept C90119067 @default.
- W1566656731 hasConceptScore W1566656731C102993220 @default.
- W1566656731 hasConceptScore W1566656731C11413529 @default.
- W1566656731 hasConceptScore W1566656731C118615104 @default.
- W1566656731 hasConceptScore W1566656731C134306372 @default.
- W1566656731 hasConceptScore W1566656731C136119220 @default.
- W1566656731 hasConceptScore W1566656731C140146324 @default.
- W1566656731 hasConceptScore W1566656731C154690210 @default.
- W1566656731 hasConceptScore W1566656731C19689857 @default.
- W1566656731 hasConceptScore W1566656731C199360897 @default.
- W1566656731 hasConceptScore W1566656731C202444582 @default.
- W1566656731 hasConceptScore W1566656731C2778029271 @default.
- W1566656731 hasConceptScore W1566656731C33923547 @default.
- W1566656731 hasConceptScore W1566656731C41008148 @default.
- W1566656731 hasConceptScore W1566656731C80444323 @default.
- W1566656731 hasConceptScore W1566656731C90119067 @default.
- W1566656731 hasLocation W15666567311 @default.
- W1566656731 hasLocation W15666567312 @default.
- W1566656731 hasLocation W15666567313 @default.
- W1566656731 hasOpenAccess W1566656731 @default.
- W1566656731 hasPrimaryLocation W15666567311 @default.
- W1566656731 hasRelatedWork W1516274846 @default.
- W1566656731 hasRelatedWork W2018616641 @default.
- W1566656731 hasRelatedWork W2157449911 @default.
- W1566656731 hasRelatedWork W223396483 @default.
- W1566656731 hasRelatedWork W2296002977 @default.
- W1566656731 hasRelatedWork W2798621907 @default.
- W1566656731 hasRelatedWork W2907775400 @default.
- W1566656731 hasRelatedWork W2952471989 @default.
- W1566656731 hasRelatedWork W3007835832 @default.
- W1566656731 hasRelatedWork W54610100 @default.
- W1566656731 isParatext "false" @default.
- W1566656731 isRetracted "false" @default.
- W1566656731 magId "1566656731" @default.
- W1566656731 workType "book-chapter" @default.