Author:
Escalada-Imaz Gonzalo,Ghallab Malik
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference13 articles.
1. Rehabilitation of Robinson unification algorithm;Corbin,1983
2. On the sequential nature of unification;Dwor,1984
3. RETE: A fast algorithm for the many pattern/many object pattern match problem;Forgy;Artificial Intelligence,1982
4. Decision trees for optimizing pattern-matching algorithms in production systems;Ghallab,1981
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Low-Level Index for Distributed Logic Programming;Electronic Proceedings in Theoretical Computer Science;2020-09-19
2. Solving functional constraints by variable substitution;Theory and Practice of Logic Programming;2011-02-04
3. Comparing Unification Algorithms in First-Order Theorem Proving;KI 2009: Advances in Artificial Intelligence;2009
4. Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems;IEEE Transactions on Systems, Man, and Cybernetics, Part B (Cybernetics);1997-10
5. BIBLIOGRAPHY;Essentials of Artificial Intelligence;1993