Matches in SemOpenAlex for { <https://semopenalex.org/work/W1566392717> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1566392717 abstract "It has been observed that the addition of clauses learned by explanation-based generalization may degrade, rather than improve, the efficiency of a logic program. There are three reasons for the degradation: i) increased unification cost ii) increased inter-clause repetition of goal calls iii) increased redundancy. There have been several approaches to solve (or reduce) these problems. However, previous techniques that solve the redundancy problem do in fact increase the two first problems. Hence, the benefit of avoiding redundancy might be outweighed by the cost associated with these techniques. A solution to this problem is presented: the algorithm EGU II, which is a reformulation of one of the previous techniques (Example-Guided Unfolding). The algorithm is based upon the application of program transformation rules (definition, unfolding and folding) and is shown to preserve the equivalence of the domain theory. Experimental results are presented showing that the cost of avoiding redundancy is significantly reduced by EGU II, and that even when the redundancy problem is not present, the technique can be superior to adding clauses redundantly." @default.
- W1566392717 created "2016-06-24" @default.
- W1566392717 creator A5033008105 @default.
- W1566392717 date "1993-01-01" @default.
- W1566392717 modified "2023-09-27" @default.
- W1566392717 title "Improving example-guided unfolding" @default.
- W1566392717 cites W1581847324 @default.
- W1566392717 cites W4206370914 @default.
- W1566392717 doi "https://doi.org/10.1007/3-540-56602-3_132" @default.
- W1566392717 hasPublicationYear "1993" @default.
- W1566392717 type Work @default.
- W1566392717 sameAs 1566392717 @default.
- W1566392717 citedByCount "2" @default.
- W1566392717 crossrefType "book-chapter" @default.
- W1566392717 hasAuthorship W1566392717A5033008105 @default.
- W1566392717 hasBestOaLocation W15663927171 @default.
- W1566392717 hasConcept C111919701 @default.
- W1566392717 hasConcept C11413529 @default.
- W1566392717 hasConcept C118615104 @default.
- W1566392717 hasConcept C152124472 @default.
- W1566392717 hasConcept C199360897 @default.
- W1566392717 hasConcept C206880738 @default.
- W1566392717 hasConcept C2780069185 @default.
- W1566392717 hasConcept C33923547 @default.
- W1566392717 hasConcept C41008148 @default.
- W1566392717 hasConcept C80444323 @default.
- W1566392717 hasConcept C96146094 @default.
- W1566392717 hasConceptScore W1566392717C111919701 @default.
- W1566392717 hasConceptScore W1566392717C11413529 @default.
- W1566392717 hasConceptScore W1566392717C118615104 @default.
- W1566392717 hasConceptScore W1566392717C152124472 @default.
- W1566392717 hasConceptScore W1566392717C199360897 @default.
- W1566392717 hasConceptScore W1566392717C206880738 @default.
- W1566392717 hasConceptScore W1566392717C2780069185 @default.
- W1566392717 hasConceptScore W1566392717C33923547 @default.
- W1566392717 hasConceptScore W1566392717C41008148 @default.
- W1566392717 hasConceptScore W1566392717C80444323 @default.
- W1566392717 hasConceptScore W1566392717C96146094 @default.
- W1566392717 hasLocation W15663927171 @default.
- W1566392717 hasOpenAccess W1566392717 @default.
- W1566392717 hasPrimaryLocation W15663927171 @default.
- W1566392717 hasRelatedWork W1506684408 @default.
- W1566392717 hasRelatedWork W1523567358 @default.
- W1566392717 hasRelatedWork W1544328848 @default.
- W1566392717 hasRelatedWork W1561681267 @default.
- W1566392717 hasRelatedWork W165704037 @default.
- W1566392717 hasRelatedWork W1902694304 @default.
- W1566392717 hasRelatedWork W2037639952 @default.
- W1566392717 hasRelatedWork W2041526687 @default.
- W1566392717 hasRelatedWork W2057756105 @default.
- W1566392717 hasRelatedWork W2063809508 @default.
- W1566392717 hasRelatedWork W2081526383 @default.
- W1566392717 hasRelatedWork W2102885020 @default.
- W1566392717 hasRelatedWork W2116940213 @default.
- W1566392717 hasRelatedWork W2119966759 @default.
- W1566392717 hasRelatedWork W2161391467 @default.
- W1566392717 hasRelatedWork W2378169573 @default.
- W1566392717 hasRelatedWork W2389570364 @default.
- W1566392717 hasRelatedWork W2542317098 @default.
- W1566392717 hasRelatedWork W3104362192 @default.
- W1566392717 hasRelatedWork W49773488 @default.
- W1566392717 isParatext "false" @default.
- W1566392717 isRetracted "false" @default.
- W1566392717 magId "1566392717" @default.
- W1566392717 workType "book-chapter" @default.