Matches in SemOpenAlex for { <https://semopenalex.org/work/W2912190921> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2912190921 endingPage "400" @default.
- W2912190921 startingPage "365" @default.
- W2912190921 abstract "Most knowledge based systems in artificial intelligence (AI), with a commitment to asymbolic representation, support one basic operation: ''matching of descriptions''. This operation, called unification in work on deduction, is the ''addition-and-multiplication'' of AI-systems and is consequently often supported by special purpose hardware or by a fast instruction set on most AI-machines. Unification theory provides the formal framework for investigations into the properties of this operation. This article surveys what is presently known in unification theory and records its early history." @default.
- W2912190921 created "2019-02-21" @default.
- W2912190921 creator A5044203427 @default.
- W2912190921 date "1986-07-20" @default.
- W2912190921 modified "2023-09-29" @default.
- W2912190921 title "Unification theory" @default.
- W2912190921 hasPublicationYear "1986" @default.
- W2912190921 type Work @default.
- W2912190921 sameAs 2912190921 @default.
- W2912190921 citedByCount "3" @default.
- W2912190921 crossrefType "proceedings-article" @default.
- W2912190921 hasAuthorship W2912190921A5044203427 @default.
- W2912190921 hasConcept C105795698 @default.
- W2912190921 hasConcept C114614502 @default.
- W2912190921 hasConcept C154945302 @default.
- W2912190921 hasConcept C165064840 @default.
- W2912190921 hasConcept C177264268 @default.
- W2912190921 hasConcept C199360897 @default.
- W2912190921 hasConcept C2780595030 @default.
- W2912190921 hasConcept C33923547 @default.
- W2912190921 hasConcept C41008148 @default.
- W2912190921 hasConcept C80444323 @default.
- W2912190921 hasConcept C94375191 @default.
- W2912190921 hasConcept C96146094 @default.
- W2912190921 hasConceptScore W2912190921C105795698 @default.
- W2912190921 hasConceptScore W2912190921C114614502 @default.
- W2912190921 hasConceptScore W2912190921C154945302 @default.
- W2912190921 hasConceptScore W2912190921C165064840 @default.
- W2912190921 hasConceptScore W2912190921C177264268 @default.
- W2912190921 hasConceptScore W2912190921C199360897 @default.
- W2912190921 hasConceptScore W2912190921C2780595030 @default.
- W2912190921 hasConceptScore W2912190921C33923547 @default.
- W2912190921 hasConceptScore W2912190921C41008148 @default.
- W2912190921 hasConceptScore W2912190921C80444323 @default.
- W2912190921 hasConceptScore W2912190921C94375191 @default.
- W2912190921 hasConceptScore W2912190921C96146094 @default.
- W2912190921 hasLocation W29121909211 @default.
- W2912190921 hasOpenAccess W2912190921 @default.
- W2912190921 hasPrimaryLocation W29121909211 @default.
- W2912190921 hasRelatedWork W1490350126 @default.
- W2912190921 hasRelatedWork W1496631421 @default.
- W2912190921 hasRelatedWork W1598625331 @default.
- W2912190921 hasRelatedWork W1667574996 @default.
- W2912190921 hasRelatedWork W2003075592 @default.
- W2912190921 hasRelatedWork W2004171041 @default.
- W2912190921 hasRelatedWork W2023648368 @default.
- W2912190921 hasRelatedWork W204383095 @default.
- W2912190921 hasRelatedWork W2100738443 @default.
- W2912190921 hasRelatedWork W2307480097 @default.
- W2912190921 hasRelatedWork W2499386068 @default.
- W2912190921 hasRelatedWork W2912819959 @default.
- W2912190921 hasRelatedWork W2955107593 @default.
- W2912190921 hasRelatedWork W2997169331 @default.
- W2912190921 hasRelatedWork W3113242229 @default.
- W2912190921 hasRelatedWork W337807882 @default.
- W2912190921 hasRelatedWork W623728486 @default.
- W2912190921 hasRelatedWork W975179059 @default.
- W2912190921 hasRelatedWork W2188998477 @default.
- W2912190921 hasRelatedWork W253631305 @default.
- W2912190921 isParatext "false" @default.
- W2912190921 isRetracted "false" @default.
- W2912190921 magId "2912190921" @default.
- W2912190921 workType "article" @default.