Author:
Cao Tru H.,Creasy Peter N.
Publisher
Springer Berlin Heidelberg
Reference38 articles.
1. Aït-Kaci, H. & Nasr, R. (1986), Login: A Logic Programming Language with Built-in Inheritance. J. of Logic Programming, 3: 185–215.
2. Baldwin, J.F. & Martin, T.P. & Pilsworth, B.W. (1995), Fril — Fuzzy and Evidential Reasoning in Artificial Intelligence. John Wiley & Sons, New York.
3. Beierle, C. & Hedtstuck, U. & Pletat, U. & Schmitt, P.H. & Siekmann, J. (1992), An Order-Sorted Logic for Knowledge Representation Systems. J. of Artificial Intelligence, 55: 149–191.
4. Cao, T.H. & Creasy, P.N. & Wuwongse, V. (1997), Fuzzy Unification and Resolution Proof Procedure for Fuzzy Conceptual Graph Programs. In Lukose, D. et al. (Eds.): Conceptual Structures — Fulfilling Peirce's Dream, LNAI No. 1257, Springer-Verlag, pp. 386–400.
5. Cao, T.H. & Creasy, P.N. & Wuwongse, V. (1997), Fuzzy Types and Their Lattices. In Proc. of the 6th IEEE International Conference on Fuzzy Systems, pp. 805–812.
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献