Matches in SemOpenAlex for { <https://semopenalex.org/work/W1599430646> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W1599430646 endingPage "178" @default.
- W1599430646 startingPage "163" @default.
- W1599430646 abstract "Tabled logic programming is receiving increasing attention in the Logic Programming community. It avoids many of the shortcomings of SLD(NF) execution and provides a more flexible and efficient execution mechanism for logic programs. In particular, tabled execution of logic programs terminates more often than execution based on SLD-resolution. One of the few approaches studying termination of tabled logic programs was developed by Decorte et al. They present necessary and sufficient conditions for two notions of universal termination under SLG-resolution, the resolution principle of tabling: quasi-termination and (the stronger notion of) LG-termination. Starting from these necessary and sufficient conditions, we introduce sufficient conditions which are stated fully at the clause level and are easy to automatize. To this end, we use mode and type information: we consider simply moded, well-typed programs and queries. We point out how our termination conditions can be automatized, by extending the recently developed constraint-based automatic termination analysis for SLD-resolution by Decorte and De Schreye." @default.
- W1599430646 created "2016-06-24" @default.
- W1599430646 creator A5024311222 @default.
- W1599430646 creator A5091758412 @default.
- W1599430646 date "1999-01-01" @default.
- W1599430646 modified "2023-09-23" @default.
- W1599430646 title "Termination Analysis of Tabled Logic Programs Using Mode and Type Information" @default.
- W1599430646 cites W1522225310 @default.
- W1599430646 cites W1537902892 @default.
- W1599430646 cites W1551870799 @default.
- W1599430646 cites W1593317697 @default.
- W1599430646 cites W1980047375 @default.
- W1599430646 cites W2009286786 @default.
- W1599430646 cites W2070598037 @default.
- W1599430646 cites W2079482412 @default.
- W1599430646 cites W2105594444 @default.
- W1599430646 cites W2111883026 @default.
- W1599430646 cites W2912956306 @default.
- W1599430646 cites W4206370914 @default.
- W1599430646 doi "https://doi.org/10.1007/10705424_11" @default.
- W1599430646 hasPublicationYear "1999" @default.
- W1599430646 type Work @default.
- W1599430646 sameAs 1599430646 @default.
- W1599430646 citedByCount "1" @default.
- W1599430646 crossrefType "book-chapter" @default.
- W1599430646 hasAuthorship W1599430646A5024311222 @default.
- W1599430646 hasAuthorship W1599430646A5091758412 @default.
- W1599430646 hasBestOaLocation W15994306462 @default.
- W1599430646 hasConcept C11413529 @default.
- W1599430646 hasConcept C128838566 @default.
- W1599430646 hasConcept C138268822 @default.
- W1599430646 hasConcept C199360897 @default.
- W1599430646 hasConcept C2987117450 @default.
- W1599430646 hasConcept C41008148 @default.
- W1599430646 hasConcept C80444323 @default.
- W1599430646 hasConceptScore W1599430646C11413529 @default.
- W1599430646 hasConceptScore W1599430646C128838566 @default.
- W1599430646 hasConceptScore W1599430646C138268822 @default.
- W1599430646 hasConceptScore W1599430646C199360897 @default.
- W1599430646 hasConceptScore W1599430646C2987117450 @default.
- W1599430646 hasConceptScore W1599430646C41008148 @default.
- W1599430646 hasConceptScore W1599430646C80444323 @default.
- W1599430646 hasLocation W15994306461 @default.
- W1599430646 hasLocation W15994306462 @default.
- W1599430646 hasLocation W15994306463 @default.
- W1599430646 hasOpenAccess W1599430646 @default.
- W1599430646 hasPrimaryLocation W15994306461 @default.
- W1599430646 hasRelatedWork W1485994731 @default.
- W1599430646 hasRelatedWork W1540960243 @default.
- W1599430646 hasRelatedWork W1541434994 @default.
- W1599430646 hasRelatedWork W1578505496 @default.
- W1599430646 hasRelatedWork W1584168152 @default.
- W1599430646 hasRelatedWork W1623321129 @default.
- W1599430646 hasRelatedWork W1780742584 @default.
- W1599430646 hasRelatedWork W1865089979 @default.
- W1599430646 hasRelatedWork W1899649530 @default.
- W1599430646 hasRelatedWork W2034471164 @default.
- W1599430646 hasRelatedWork W2036191870 @default.
- W1599430646 hasRelatedWork W2106180000 @default.
- W1599430646 hasRelatedWork W2114898754 @default.
- W1599430646 hasRelatedWork W2120869002 @default.
- W1599430646 hasRelatedWork W2143441770 @default.
- W1599430646 hasRelatedWork W2169411626 @default.
- W1599430646 hasRelatedWork W22766926 @default.
- W1599430646 hasRelatedWork W2612364214 @default.
- W1599430646 hasRelatedWork W3104721040 @default.
- W1599430646 hasRelatedWork W90538387 @default.
- W1599430646 isParatext "false" @default.
- W1599430646 isRetracted "false" @default.
- W1599430646 magId "1599430646" @default.
- W1599430646 workType "book-chapter" @default.