A short survey on the state of the art in matching and unification problems-Reference-Cited by-同舟云学术

A short survey on the state of the art in matching and unification problems

Published:1979-05 Issue:2 Volume:13 Page:14-20
ISSN:0163-5824
Container-title:ACM SIGSAM Bulletin
language:en
Short-container-title:SIGSAM Bull.

Author:

Raulefs P.¹,Siekmann J.²,Szabó P.²,Unvericht E.²

Affiliation:

1. Universität Bonn, Kurfürstenstr, Bonn

2. Universität Karlsruhe, Postfach, Karlsruhe

Abstract

1. Motivations There is a wide variety of areas where matching and unification problems arise: (1.1) Databases The user of a (relational) database [22] may logically AND the properties she wants to retrieve or else she may be interested in the NATURAL JOIN [17] of two stored relations. In neither case, she would appreciate if she constantly had to take into account that AND is an associative and commutative operation, or that NATURAL JOIN obeys an associative axiom, which may distribute over some other operation [68].

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/1089208.1089210

Reference90 articles.

1. L.D. Baxter; 'An efficient Unification Algorithm' Rep. CS-73-23 University of Waterloo Dept. of Analysis and Computer Science 1973 L.D. Baxter; 'An efficient Unification Algorithm' Rep. CS-73-23 University of Waterloo Dept. of Analysis and Computer Science 1973

2. Bennett Easton Guard Settle; 'CRT-aided semiautomated mathematics' AFCRL-63 Applied Logic Corp. 1963 Bennett Easton Guard Settle; 'CRT-aided semiautomated mathematics' AFCRL-63 Applied Logic Corp. 1963

3. Bennett Easton; 'CRT-aided semi-automated mathematics' AFCRL-65 Applied Logic Corporation 1965 Bennett Easton; 'CRT-aided semi-automated mathematics' AFCRL-65 Applied Logic Corporation 1965

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Modeling Game Mechanics with Ceptre;IEEE Transactions on Games;2023

2. What Is Essential Unification?;Outstanding Contributions to Logic;2016

3. Compilation of set terms in the logic data language (LDL);The Journal of Logic Programming;1992-01

4. Unification theory;Decision Support Systems;1990-10

5. The structure-mapping engine: Algorithm and examples;Artificial Intelligence;1989-11