Matches in SemOpenAlex for { <https://semopenalex.org/work/W2612364214> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W2612364214 abstract "We identify a class of predicates for which termination does not depend on left-to-right execution. All that is required is that derivations are input-driven that is, in each derivation step, the input arguments of the selected atom do not become instantiated. The method of showing that a predicate is in that class is based on level mappings, closely following the traditional approach for LD derivations. Many predicates terminate under such weak assumptions. Knowing these predicates can be a very useful part of a more comprehensive method of showing termination, which would have to make more specific assumptions about the selection rule." @default.
- W2612364214 created "2017-05-19" @default.
- W2612364214 creator A5078443723 @default.
- W2612364214 date "1998-11-01" @default.
- W2612364214 modified "2023-09-27" @default.
- W2612364214 title "Well-Terminating, Input-Driven Logic Programs" @default.
- W2612364214 hasPublicationYear "1998" @default.
- W2612364214 type Work @default.
- W2612364214 sameAs 2612364214 @default.
- W2612364214 citedByCount "0" @default.
- W2612364214 crossrefType "journal-article" @default.
- W2612364214 hasAuthorship W2612364214A5078443723 @default.
- W2612364214 hasConcept C102993220 @default.
- W2612364214 hasConcept C110039528 @default.
- W2612364214 hasConcept C11413529 @default.
- W2612364214 hasConcept C128838566 @default.
- W2612364214 hasConcept C140146324 @default.
- W2612364214 hasConcept C154945302 @default.
- W2612364214 hasConcept C159333733 @default.
- W2612364214 hasConcept C19689857 @default.
- W2612364214 hasConcept C199360897 @default.
- W2612364214 hasConcept C203659156 @default.
- W2612364214 hasConcept C2777212361 @default.
- W2612364214 hasConcept C2987117450 @default.
- W2612364214 hasConcept C41008148 @default.
- W2612364214 hasConcept C73314972 @default.
- W2612364214 hasConcept C80444323 @default.
- W2612364214 hasConcept C81917197 @default.
- W2612364214 hasConceptScore W2612364214C102993220 @default.
- W2612364214 hasConceptScore W2612364214C110039528 @default.
- W2612364214 hasConceptScore W2612364214C11413529 @default.
- W2612364214 hasConceptScore W2612364214C128838566 @default.
- W2612364214 hasConceptScore W2612364214C140146324 @default.
- W2612364214 hasConceptScore W2612364214C154945302 @default.
- W2612364214 hasConceptScore W2612364214C159333733 @default.
- W2612364214 hasConceptScore W2612364214C19689857 @default.
- W2612364214 hasConceptScore W2612364214C199360897 @default.
- W2612364214 hasConceptScore W2612364214C203659156 @default.
- W2612364214 hasConceptScore W2612364214C2777212361 @default.
- W2612364214 hasConceptScore W2612364214C2987117450 @default.
- W2612364214 hasConceptScore W2612364214C41008148 @default.
- W2612364214 hasConceptScore W2612364214C73314972 @default.
- W2612364214 hasConceptScore W2612364214C80444323 @default.
- W2612364214 hasConceptScore W2612364214C81917197 @default.
- W2612364214 hasLocation W26123642141 @default.
- W2612364214 hasOpenAccess W2612364214 @default.
- W2612364214 hasPrimaryLocation W26123642141 @default.
- W2612364214 hasRelatedWork W1522598964 @default.
- W2612364214 hasRelatedWork W1540960243 @default.
- W2612364214 hasRelatedWork W1578505496 @default.
- W2612364214 hasRelatedWork W1593025666 @default.
- W2612364214 hasRelatedWork W1623321129 @default.
- W2612364214 hasRelatedWork W1865089979 @default.
- W2612364214 hasRelatedWork W192799299 @default.
- W2612364214 hasRelatedWork W1964551226 @default.
- W2612364214 hasRelatedWork W2031552811 @default.
- W2612364214 hasRelatedWork W2075610180 @default.
- W2612364214 hasRelatedWork W2106180000 @default.
- W2612364214 hasRelatedWork W2114898754 @default.
- W2612364214 hasRelatedWork W2143441770 @default.
- W2612364214 hasRelatedWork W2177439807 @default.
- W2612364214 hasRelatedWork W2202863966 @default.
- W2612364214 hasRelatedWork W2949296398 @default.
- W2612364214 hasRelatedWork W2952094916 @default.
- W2612364214 hasRelatedWork W2962810194 @default.
- W2612364214 hasRelatedWork W3104721040 @default.
- W2612364214 hasRelatedWork W2611983602 @default.
- W2612364214 isParatext "false" @default.
- W2612364214 isRetracted "false" @default.
- W2612364214 magId "2612364214" @default.
- W2612364214 workType "article" @default.