A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit <a rel="external noopener" href="https://core.ac.uk/download/pdf/82417186.pdf">the original URL</a>. The file type is <code>application/pdf</code>.
Unification theory
<span title="">1989</span>
<i title="Elsevier BV">
<a target="_blank" rel="noopener" href="https://fatcat.wiki/container/ezljl2d3lzga5efenbxdvvfcpa" style="color: black;">Journal of symbolic computation</a>
</i>
Preserved Fulltext
Most knowledge based systems in artificial intelligence (AI), with a commitment to a symbolic 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.
<span class="external-identifiers">
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0747-7171(89)80012-4">doi:10.1016/s0747-7171(89)80012-4</a>
<a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/mjwsvawtirdvbc5dxdflp4n2zi">fatcat:mjwsvawtirdvbc5dxdflp4n2zi</a>
</span>
more »
... article surveys what is presently known in unification theory and records its early history. 20g
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20190309031020/https://core.ac.uk/download/pdf/82417186.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext">
<button class="ui simple right pointing dropdown compact black labeled icon button serp-button">
<i class="icon ia-icon"></i>
Web Archive
[PDF]
<div class="menu fulltext-thumbnail">
<img src="https://blobs.fatcat.wiki/thumbnail/pdf/34/50/34509d56a8e9ae94bfce7d055054d70a54fb1e7e.180px.jpg" alt="fulltext thumbnail" loading="lazy">
</div>
</button>
</a>
<a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1016/s0747-7171(89)80012-4">
<button class="ui left aligned compact blue labeled icon button serp-button">
<i class="external alternate icon"></i>
elsevier.com
</button>
</a>