Matches in SemOpenAlex for { <https://semopenalex.org/work/W1520649080> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W1520649080 endingPage "205" @default.
- W1520649080 startingPage "189" @default.
- W1520649080 abstract "We provide a first investigation of the specialisation and transformation of tabled logic programs through unfolding. We show that — surprisingly — unfolding, even determinate, can worsen the termination behaviour in the context of tabling. We therefore establish two criteria which ensure that such mishaps are avoided. We also briefly discuss the influence of some other transformation techniques on the termination and efficiency of tabled logic programs." @default.
- W1520649080 created "2016-06-24" @default.
- W1520649080 creator A5009640372 @default.
- W1520649080 creator A5037894557 @default.
- W1520649080 creator A5058847017 @default.
- W1520649080 date "1998-01-01" @default.
- W1520649080 modified "2023-09-25" @default.
- W1520649080 title "Preserving Termination of Tabled Logic Programs While Unfolding (Extended Abstract)" @default.
- W1520649080 cites W1501453246 @default.
- W1520649080 cites W1522225310 @default.
- W1520649080 cites W1535866213 @default.
- W1520649080 cites W1933733268 @default.
- W1520649080 cites W1985611600 @default.
- W1520649080 cites W1985933047 @default.
- W1520649080 cites W1988185893 @default.
- W1520649080 cites W2023299380 @default.
- W1520649080 cites W2037035101 @default.
- W1520649080 cites W2048831705 @default.
- W1520649080 cites W2070598037 @default.
- W1520649080 cites W2085609918 @default.
- W1520649080 cites W2089111669 @default.
- W1520649080 cites W2118383426 @default.
- W1520649080 cites W2912956306 @default.
- W1520649080 cites W2121947494 @default.
- W1520649080 doi "https://doi.org/10.1007/3-540-49674-2_10" @default.
- W1520649080 hasPublicationYear "1998" @default.
- W1520649080 type Work @default.
- W1520649080 sameAs 1520649080 @default.
- W1520649080 citedByCount "5" @default.
- W1520649080 countsByYear W15206490802012 @default.
- W1520649080 crossrefType "book-chapter" @default.
- W1520649080 hasAuthorship W1520649080A5009640372 @default.
- W1520649080 hasAuthorship W1520649080A5037894557 @default.
- W1520649080 hasAuthorship W1520649080A5058847017 @default.
- W1520649080 hasBestOaLocation W15206490802 @default.
- W1520649080 hasConcept C104317684 @default.
- W1520649080 hasConcept C11413529 @default.
- W1520649080 hasConcept C128838566 @default.
- W1520649080 hasConcept C151730666 @default.
- W1520649080 hasConcept C185592680 @default.
- W1520649080 hasConcept C199360897 @default.
- W1520649080 hasConcept C204241405 @default.
- W1520649080 hasConcept C2778361913 @default.
- W1520649080 hasConcept C2779343474 @default.
- W1520649080 hasConcept C2987117450 @default.
- W1520649080 hasConcept C41008148 @default.
- W1520649080 hasConcept C55493867 @default.
- W1520649080 hasConcept C80444323 @default.
- W1520649080 hasConcept C86803240 @default.
- W1520649080 hasConceptScore W1520649080C104317684 @default.
- W1520649080 hasConceptScore W1520649080C11413529 @default.
- W1520649080 hasConceptScore W1520649080C128838566 @default.
- W1520649080 hasConceptScore W1520649080C151730666 @default.
- W1520649080 hasConceptScore W1520649080C185592680 @default.
- W1520649080 hasConceptScore W1520649080C199360897 @default.
- W1520649080 hasConceptScore W1520649080C204241405 @default.
- W1520649080 hasConceptScore W1520649080C2778361913 @default.
- W1520649080 hasConceptScore W1520649080C2779343474 @default.
- W1520649080 hasConceptScore W1520649080C2987117450 @default.
- W1520649080 hasConceptScore W1520649080C41008148 @default.
- W1520649080 hasConceptScore W1520649080C55493867 @default.
- W1520649080 hasConceptScore W1520649080C80444323 @default.
- W1520649080 hasConceptScore W1520649080C86803240 @default.
- W1520649080 hasLocation W15206490801 @default.
- W1520649080 hasLocation W15206490802 @default.
- W1520649080 hasOpenAccess W1520649080 @default.
- W1520649080 hasPrimaryLocation W15206490801 @default.
- W1520649080 hasRelatedWork W1221028001 @default.
- W1520649080 hasRelatedWork W134220871 @default.
- W1520649080 hasRelatedWork W1507859480 @default.
- W1520649080 hasRelatedWork W1520300883 @default.
- W1520649080 hasRelatedWork W1521207122 @default.
- W1520649080 hasRelatedWork W1523210468 @default.
- W1520649080 hasRelatedWork W1537902892 @default.
- W1520649080 hasRelatedWork W1563257418 @default.
- W1520649080 hasRelatedWork W1672621201 @default.
- W1520649080 hasRelatedWork W1826589946 @default.
- W1520649080 hasRelatedWork W1975576519 @default.
- W1520649080 hasRelatedWork W2059656088 @default.
- W1520649080 hasRelatedWork W2060632369 @default.
- W1520649080 hasRelatedWork W2130683061 @default.
- W1520649080 hasRelatedWork W2632860668 @default.
- W1520649080 hasRelatedWork W560327929 @default.
- W1520649080 hasRelatedWork W578156415 @default.
- W1520649080 hasRelatedWork W2473528314 @default.
- W1520649080 hasRelatedWork W2492080608 @default.
- W1520649080 hasRelatedWork W2786677776 @default.
- W1520649080 isParatext "false" @default.
- W1520649080 isRetracted "false" @default.
- W1520649080 magId "1520649080" @default.
- W1520649080 workType "book-chapter" @default.