A.M. Maeda, J.-I. Aoe, and H. Tomabechi. Signature-check based unification filter. Software --- Practice and Experience, 24(7):603--622, July 1994. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Equality Elimination for Semantic Tableaux - Degtyarev, Voronkov (1994) (2 citations) (Correct)
....contra the principle of locality, but let us note that all problems considered hard in modern theorem proving are solved by local methods. The same phenomenon appears in more applied areas of computer science, for example deductive databases [BMSU 86, Vie 89] parsing [TR 94] production systems [MAT 94] constraint logic programming. In all these areas local methods based on bottom up algorithms 4 show superior performance over top down methods like tableau. Methods like Early deduction [Ear 70] in parsing or SLD AL resolution [Vie 89] and magic sets [BMSU 86] use some information from a ....
A.M. Maeda, J.-I. Aoe, and H. Tomabechi. Signature-check based unification filter. Software --- Practice and Experience, 24(7):603--622, July 1994.
Implementing Bottom-up Procedures with Code Trees: a Case.. - Andrei Voronkov (1995) (11 citations) (Correct)
.... tabled computations of logic programs [TS86, War92, SR93] various deductive databases procedures, for example query answering and integrity checking [LT85, LST86, Dec86, Das92] bottom up static analysis of logic programs [CD93] constraint logic programming, parsing [TR94] production systems [MAT94]. Top down procedures which use lemmaizing, like SLD AL resolution [Vie89] or some implementations of model elimination [AS92] also use a similar scheme. There are certain specific features of such systems which pose a challenge to people who implement them: 1. There is usually a small number of ....
A.M. Maeda, J.-I. Aoe, and H. Tomabechi. Signature-check based unification filter. Software --- Practice and Experience, 24(7):603--622, 1994.
Equality Elimination for the Inverse Method and Extension.. - Degtyarev, Voronkov (1995) (1 citation) (Correct)
No context found.
A.M. Maeda, J.-I. Aoe, and H. Tomabechi. Signature-check based unification filter. Software --- Practice and Experience, 24(7):603--622, July 1994.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC