Relaxed unification--Proposal
暂无分享,去创建一个
[1] Alberto Martelli,et al. An Efficient Unification Algorithm , 1982, TOPL.
[2] J. A. Robinson,et al. A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.
[3] Kevin Knight,et al. Unification: a multidisciplinary survey , 1989, CSUR.
[4] H. Zimmermann,et al. Fuzzy Set Theory and Its Applications , 1993 .
[5] Vlado Keselj,et al. A graph unification machine for NL parsing , 2003 .
[6] Richard C. T. Lee. Fuzzy Logic and the Resolution Principle , 1971, JACM.
[7] James F. Baldwin,et al. Evidential support logic programming , 1987 .