Matches in SemOpenAlex for { <https://semopenalex.org/work/W4319165346> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W4319165346 abstract "Anti-unification (AU) is a fundamental operation for generalization computation used for inductive inference. It is the dual operation to unification, an operation at the foundation of automated theorem proving. Interest in AU from the AI and related communities is growing, but without a systematic study of the concept nor surveys of existing work, investigations often resort to developing application-specific methods that existing approaches may cover. We provide the first survey of AU research and its applications and a general framework for categorizing existing and future developments." @default.
- W4319165346 created "2023-02-04" @default.
- W4319165346 creator A5046504787 @default.
- W4319165346 creator A5080230891 @default.
- W4319165346 date "2023-02-01" @default.
- W4319165346 modified "2023-09-26" @default.
- W4319165346 title "Anti-unification and Generalization: A Survey" @default.
- W4319165346 doi "https://doi.org/10.24963/ijcai.2023/736" @default.
- W4319165346 hasPublicationYear "2023" @default.
- W4319165346 type Work @default.
- W4319165346 citedByCount "0" @default.
- W4319165346 crossrefType "posted-content" @default.
- W4319165346 hasAuthorship W4319165346A5046504787 @default.
- W4319165346 hasAuthorship W4319165346A5080230891 @default.
- W4319165346 hasBestOaLocation W43191653461 @default.
- W4319165346 hasConcept C11413529 @default.
- W4319165346 hasConcept C124952713 @default.
- W4319165346 hasConcept C127413603 @default.
- W4319165346 hasConcept C134306372 @default.
- W4319165346 hasConcept C142362112 @default.
- W4319165346 hasConcept C154945302 @default.
- W4319165346 hasConcept C177148314 @default.
- W4319165346 hasConcept C17744445 @default.
- W4319165346 hasConcept C199360897 @default.
- W4319165346 hasConcept C199539241 @default.
- W4319165346 hasConcept C21563000 @default.
- W4319165346 hasConcept C2776214188 @default.
- W4319165346 hasConcept C2780428219 @default.
- W4319165346 hasConcept C2780966255 @default.
- W4319165346 hasConcept C2780980858 @default.
- W4319165346 hasConcept C33923547 @default.
- W4319165346 hasConcept C41008148 @default.
- W4319165346 hasConcept C45374587 @default.
- W4319165346 hasConcept C539667460 @default.
- W4319165346 hasConcept C78519656 @default.
- W4319165346 hasConcept C80444323 @default.
- W4319165346 hasConcept C96146094 @default.
- W4319165346 hasConceptScore W4319165346C11413529 @default.
- W4319165346 hasConceptScore W4319165346C124952713 @default.
- W4319165346 hasConceptScore W4319165346C127413603 @default.
- W4319165346 hasConceptScore W4319165346C134306372 @default.
- W4319165346 hasConceptScore W4319165346C142362112 @default.
- W4319165346 hasConceptScore W4319165346C154945302 @default.
- W4319165346 hasConceptScore W4319165346C177148314 @default.
- W4319165346 hasConceptScore W4319165346C17744445 @default.
- W4319165346 hasConceptScore W4319165346C199360897 @default.
- W4319165346 hasConceptScore W4319165346C199539241 @default.
- W4319165346 hasConceptScore W4319165346C21563000 @default.
- W4319165346 hasConceptScore W4319165346C2776214188 @default.
- W4319165346 hasConceptScore W4319165346C2780428219 @default.
- W4319165346 hasConceptScore W4319165346C2780966255 @default.
- W4319165346 hasConceptScore W4319165346C2780980858 @default.
- W4319165346 hasConceptScore W4319165346C33923547 @default.
- W4319165346 hasConceptScore W4319165346C41008148 @default.
- W4319165346 hasConceptScore W4319165346C45374587 @default.
- W4319165346 hasConceptScore W4319165346C539667460 @default.
- W4319165346 hasConceptScore W4319165346C78519656 @default.
- W4319165346 hasConceptScore W4319165346C80444323 @default.
- W4319165346 hasConceptScore W4319165346C96146094 @default.
- W4319165346 hasLocation W43191653461 @default.
- W4319165346 hasLocation W43191653462 @default.
- W4319165346 hasOpenAccess W4319165346 @default.
- W4319165346 hasPrimaryLocation W43191653461 @default.
- W4319165346 hasRelatedWork W148709074 @default.
- W4319165346 hasRelatedWork W1561395268 @default.
- W4319165346 hasRelatedWork W161334304 @default.
- W4319165346 hasRelatedWork W171365577 @default.
- W4319165346 hasRelatedWork W2369508406 @default.
- W4319165346 hasRelatedWork W2945694234 @default.
- W4319165346 hasRelatedWork W2963151688 @default.
- W4319165346 hasRelatedWork W2965215954 @default.
- W4319165346 hasRelatedWork W4286749359 @default.
- W4319165346 hasRelatedWork W4319165346 @default.
- W4319165346 isParatext "false" @default.
- W4319165346 isRetracted "false" @default.
- W4319165346 workType "article" @default.