A practically efficient and almost linear unification algorithm
Artificial Intelligence 36 (2):249-263 (1988)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Unification neural networks: unification by error-correction learning.Ekaterina Komendantskaya - 2011 - Logic Journal of the IGPL 19 (6):821-847.
Reachability logic: an efficient fragment of transitive closure logic.N. Alechina & N. Immerman - 2000 - Logic Journal of the IGPL 8 (3):325-337.
Unification in linear temporal logic LTL.Sergey Babenyshev & Vladimir Rybakov - 2011 - Annals of Pure and Applied Logic 162 (12):991-1000.
Highly constrained unification grammars.Daniel Feinstein & Shuly Wintner - 2008 - Journal of Logic, Language and Information 17 (3):345-381.
A decision algorithm for linear sentences on a PFM.Lian Li, Huilin Li & Yixun Liu - 1993 - Annals of Pure and Applied Logic 59 (3):273-286.
A unification algorithm for second-order monadic terms.William M. Farmer - 1988 - Annals of Pure and Applied Logic 39 (2):131-174.
Categorial grammars determined from linguistic data by unification.Wojciech BuszKowski & Gerald Penn - 1990 - Studia Logica 49 (4):431 - 454.
A Penalty Function Algorithm with Objective Parameters and Constraint Penalty Parameter for Multi-Objective Programming.Zhiqing Meng - 2014 - AJOR 4:331-339.
Dynamic Multiobjective Optimization with Multiple Response Strategies Based on Linear Environment Detection.Qiyuan Yu, Shen Zhong, Zun Liu, Qiuzhen Lin & Peizhi Huang - 2020 - Complexity 2020:1-26.
Efficiency of pregroups and the French noun phrase.Sylvain Degeilh & Anne Preller - 2005 - Journal of Logic, Language and Information 14 (4):423-444.
Safe Bounds in Semidefinite Programming by Using Interval Arithmetic.Orkia Derkaoui - 2014 - American Journal of Operations Research 4:293-300.
Applying Allen's constraint propagation algorithm for non-linear time.El?Bieta Hajnicz - 1996 - Journal of Logic, Language and Information 5 (2):157-175.
Analytics
Added to PP
2020-12-22
Downloads
1 (#1,500,695)
6 months
1 (#451,971)
2020-12-22
Downloads
1 (#1,500,695)
6 months
1 (#451,971)
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
References found in this work
Rete: A fast algorithm for the many pattern/many object pattern match problem.Charles L. Forgy - 1982 - Artificial Intelligence 19 (1):17-37.
