참고문헌
- Fuzzy Set Theory-and Its Applications(2nd ed.) Zimmermann,H.J.
- Fuzzy Sets and Systems v.8 Comparison of Fuzzy Reasoning Methods Mizumoto,M.;Zimmermann,H.J.
- Fuzzy Sets and Systems v.4 Fuzzy Power Sets and Fuzzy Implication Operators Bandler,W.;Kohout,L.J.
- Fuzzy Sets and Systems v.31 Applicability of some Fuzzy Implication Operators Cao,Z.;Kandel,A.
- The Automated Reasoning System ITP Lusk,E.L.;Overbeek,R.
- OTTER 2.0 Users Guide In Technical Report ANL-90/9 McCune,W.W.
- In Computers and Mathematics with Applications 2 Complexity and related enhancements for automated theorem proving programs McCharen,J.;Overbeek,R.;Wos,L.
- Fuzzy Logic: State of the Art Generating control strategies for resolution-based theorem provers by means of fuzzy relational products and relational closures Kohout,L.J.;Kim,Yong-Gi;B.Lowen(ed.);M.Roubens(ed.)
- Proceedings of the fourth International Fuzzy System Association(IFSA) world congress Use of Fuzzy Relational Products and Algorithms for generating Control strategies in resolution based Automated Reasoning Kim,Yong-Gi;Kohout,L.J.
- Proceeding of the sixth International Symposium on Methodlogies for Intelligent Systems(ISMIS'91) An Improvement of Weighting Strategy in Resolution Based Automated Reasoning Kim,Yong Gi;Kohout,L.J.
- 정보과학회논문지 v.21 no.10 퍼지기법을 이용한 자동화된 추론의 가중치 부여기법 개선 김용기
- Fuzzy Sets:Theory and Applications to Policy Analysis and Information Systems Fuzzy relational products as a tool for analysis and synthesis of the behaviour of complex natural and artificial system Bandler,W.;Kohout.L.J.;Wang,P.P.(ed.);Chang,S.K.(ed.)
- Int. J. Man-Machine Studies v.12 Semantics of implication operators and fuzzy relational products Bandler,W.;Kohout,L.J.
- Fuzzy Sets in Decision Analysis Automatic documentary information retireval by means of fuzzy relational products Kohout.L.J.;Keravnou,E.;Bandler,W.
- Fuzzy Sets and Systems v.26 no.3 Special properties, closures and interiors of crisp and fuzzy relations Bandler,W.;Kohout,L.J.
- Uncertainty in Knowledge-based Systems The use of information retrieval technique in construction of multi-center knowledge based systems Kohout,L.J.;Bandler,W.;Bouchon,B.(ed.);Yager,R.R.(ed.)
- Fuzzy Sets and Systems no.4 Fuzzy power sets and fuzzy implication operators Bandler,W.;Kohout,L.J.;Wang,P.P.(ed.);Chang,S.K.(ed.)
- BST'81 Information technology for the eighties Hierachies in symptoms and patients through computation of fuzzy triangle products and closures Bandler,W.;Kohout,L.J.;Parslow(ed.)
- Knowledge Representation in Medicine and Clinical Behavioural Science A Survey of fuzzy relational products in their applicability to medicine and clinical phychology Bandler,Wyllis;Kohout,Ladislav J.
- Fuzzy Sets and Systems v.26 no.3 Special properties, closures and interiors of crisp and fuzzy relations Bandler,W.;Kohout,L.J.
- proc.of Second Expert Systems Internatonal Conference Evaluator of neurological patients' dexterity based on relational fuzzy products Kohout,L.J.;Kallala,M.
- In FLAIRS-90 Proceedings Use of fuzzy information retrieval techniques for generating control strategies in resolutio-based automated reasoning Kohout,L.J.;Kim,Yong-Gi
- Automated Reasoning:Introduction and Applications Wos,L.;Overbeek,R.;Lusk,E.;Boyle,J.
- Journal of Assc. for Comput. Mach. v.12 Efficiency and Completeness of the set-of-support stratege in the orem proving Wos,L.;Carson,D.;Robinson,G.
- Mah. Intell. v.4 Theorem-proving by resolution as a basic for question-answering systems Green,C.;Meltzer(ed.);Michie(ed.)
- Proc. of the 23rd National Conf. of ACM The Use of theorem-proving techniques in question-answering systems Green,C.;Raphael,B.
- Logical Foundations of Artificial intelligence Genesereth,M.;Nilsson,N.