Matches in SemOpenAlex for { <https://semopenalex.org/work/W145827753> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W145827753 abstract "In the area of inductive learning, generalization is the main operation, and the usual definition of induction is based on logical implication. Plotkin's well-known technique for computing least general generalizations of clauses under θ-subsumption sometimes produces results which are too general with respect to implication. Muggleton has shown that this problem only occurs in one type of generalization of recursive clauses, called an indirect root. Idestam-Almquist presented a technique, called recursive anti-unification, to compute indirect roots of clauses. However there exist cases for which recursive anti-unification does not work, for example, the clauses which contain a structure called a cross connection. In this paper, we develop a technique for computing indirect roots of Horn clauses. We first introduce a relation equivalent to the implication, called θ-proof, which is syntactically defined, using resolution and θ-subsumption. This leads to an algorithm, the J-algorithm, for computing indirect roots of clauses. The roots of clauses containing cross connections can be computed by the J-algorithm. We also prove that the output from the algorithm is a generalization under implication of the input." @default.
- W145827753 created "2016-06-24" @default.
- W145827753 creator A5040224120 @default.
- W145827753 creator A5058311071 @default.
- W145827753 creator A5065724368 @default.
- W145827753 date "2002-01-01" @default.
- W145827753 modified "2023-09-26" @default.
- W145827753 title "Generalization of Clauses Containing Cross Connections" @default.
- W145827753 cites W1523712082 @default.
- W145827753 cites W1541434994 @default.
- W145827753 cites W1608748195 @default.
- W145827753 cites W161334304 @default.
- W145827753 cites W2100738443 @default.
- W145827753 cites W629469911 @default.
- W145827753 hasPublicationYear "2002" @default.
- W145827753 type Work @default.
- W145827753 sameAs 145827753 @default.
- W145827753 citedByCount "0" @default.
- W145827753 crossrefType "journal-article" @default.
- W145827753 hasAuthorship W145827753A5040224120 @default.
- W145827753 hasAuthorship W145827753A5058311071 @default.
- W145827753 hasAuthorship W145827753A5065724368 @default.
- W145827753 hasConcept C11413529 @default.
- W145827753 hasConcept C118615104 @default.
- W145827753 hasConcept C13355873 @default.
- W145827753 hasConcept C134306372 @default.
- W145827753 hasConcept C136119220 @default.
- W145827753 hasConcept C138268822 @default.
- W145827753 hasConcept C154945302 @default.
- W145827753 hasConcept C177148314 @default.
- W145827753 hasConcept C189790780 @default.
- W145827753 hasConcept C199360897 @default.
- W145827753 hasConcept C202444582 @default.
- W145827753 hasConcept C2524010 @default.
- W145827753 hasConcept C25343380 @default.
- W145827753 hasConcept C33923547 @default.
- W145827753 hasConcept C41008148 @default.
- W145827753 hasConcept C77088390 @default.
- W145827753 hasConcept C80444323 @default.
- W145827753 hasConcept C81721847 @default.
- W145827753 hasConcept C96146094 @default.
- W145827753 hasConceptScore W145827753C11413529 @default.
- W145827753 hasConceptScore W145827753C118615104 @default.
- W145827753 hasConceptScore W145827753C13355873 @default.
- W145827753 hasConceptScore W145827753C134306372 @default.
- W145827753 hasConceptScore W145827753C136119220 @default.
- W145827753 hasConceptScore W145827753C138268822 @default.
- W145827753 hasConceptScore W145827753C154945302 @default.
- W145827753 hasConceptScore W145827753C177148314 @default.
- W145827753 hasConceptScore W145827753C189790780 @default.
- W145827753 hasConceptScore W145827753C199360897 @default.
- W145827753 hasConceptScore W145827753C202444582 @default.
- W145827753 hasConceptScore W145827753C2524010 @default.
- W145827753 hasConceptScore W145827753C25343380 @default.
- W145827753 hasConceptScore W145827753C33923547 @default.
- W145827753 hasConceptScore W145827753C41008148 @default.
- W145827753 hasConceptScore W145827753C77088390 @default.
- W145827753 hasConceptScore W145827753C80444323 @default.
- W145827753 hasConceptScore W145827753C81721847 @default.
- W145827753 hasConceptScore W145827753C96146094 @default.
- W145827753 hasLocation W1458277531 @default.
- W145827753 hasOpenAccess W145827753 @default.
- W145827753 hasPrimaryLocation W1458277531 @default.
- W145827753 hasRelatedWork W1483694094 @default.
- W145827753 hasRelatedWork W1504966796 @default.
- W145827753 hasRelatedWork W1576984428 @default.
- W145827753 hasRelatedWork W1577113966 @default.
- W145827753 hasRelatedWork W1601619842 @default.
- W145827753 hasRelatedWork W161334304 @default.
- W145827753 hasRelatedWork W2038734800 @default.
- W145827753 hasRelatedWork W2055240122 @default.
- W145827753 hasRelatedWork W2101921507 @default.
- W145827753 hasRelatedWork W2156066488 @default.
- W145827753 hasRelatedWork W2403248936 @default.
- W145827753 hasRelatedWork W2615323298 @default.
- W145827753 hasRelatedWork W2726449882 @default.
- W145827753 hasRelatedWork W2899412324 @default.
- W145827753 hasRelatedWork W2912855883 @default.
- W145827753 hasRelatedWork W2918463803 @default.
- W145827753 hasRelatedWork W37301688 @default.
- W145827753 hasRelatedWork W46391580 @default.
- W145827753 hasRelatedWork W65085004 @default.
- W145827753 hasRelatedWork W1969946974 @default.
- W145827753 isParatext "false" @default.
- W145827753 isRetracted "false" @default.
- W145827753 magId "145827753" @default.
- W145827753 workType "article" @default.