Generating Control Strategies for Resolution-Based Theorem Provers by Means of Fuzzy Triangle Products and Relational Closures
暂无分享,去创建一个
[1] L. J. Kohout,et al. Knowledge Representation in Medicine and Clinical Behavioural Science , 1986 .
[2] Ross A. Overbeek,et al. Complexity and related enhancements for automated theorem-proving programs , 1976 .
[3] Yacov Y. Haimes,et al. Systems and control encyclopedia : Edited by Madan G. Singh , 1988, Autom..
[4] Ladislav J. Kohout,et al. Comparison of fuzzy implication operators by means of weighting strategy in resolution based automated reasoning , 1992, SAC '92.
[5] Paul P. Wang,et al. Fuzzy sets : theory and applications to policy analysis and information systems , 1981 .
[6] Ladislav J. Kohout. A perspective on intelligent systems: a framework for analysis and design , 1990 .
[7] L. Kohout,et al. Special properties, closures and interiors of crisp and fuzzy relations , 1988 .
[8] Yoshiaki Shirai,et al. Artificial Intelligence: Concepts, Techniques, and Applications , 1984 .
[9] Larry Wos,et al. Automated Reasoning: Introduction and Applications , 1984 .
[10] Michael R. Genesereth,et al. Logical foundations of artificial intelligence , 1987 .
[11] Ewing Lusk,et al. Automated reasoning system ITP , 1984 .
[12] Ladislav J. Kohout,et al. Knowledge-Based Systems for Multiple Environments , 1992 .
[13] Brian R. Gaines,et al. Fuzzy reasoning and its applications , 1981 .
[14] Ladislav J. Kohout,et al. Semantics of implication operators and fuzzy relational products , 1980 .
[15] Wyllis Bandler,et al. Fuzzy Relational Products as a Tool for Analysis and Synthesis of the Behaviour of Complex Natural and Artificial Systems , 1980 .
[16] Bertram Raphael,et al. The use of theorem-proving techniques in question-answering systems , 1968, ACM National Conference.
[17] L. Kohout,et al. FUZZY POWER SETS AND FUZZY IMPLICATION OPERATORS , 1980 .
[18] Larry Wos,et al. Automated reasoning - 33 basic research problems , 1988 .