-
[文献書誌] J.Cheng: "Paraconsistent Reasoning Based on Strong Relevant Logic"Proc.2001 International Conference on Artificial Intelligence(Workshop: Computational Models of Scientific Reasoning and Applications). 853-860 (2001)
-
[文献書誌] J.Cheng: "Strong Relevance as a Logical Criterion of Scientific Reasoning"Proc.2001 International Conference on Artificial Intelligence(Workshop: Computational Models of Scientific Reasoning and Applications). 916-923 (2001)
-
[文献書誌] J.Cheng: "Temporal Relevant Logic as the Logical Basis of Autonomous Evolutionary Information Systems"Proc.ACIS 2nd International Conference on Software Engineering,Artificial Intelligence,Networking & Parallel/Distributed Computing. 770-777 (2001)
-
[文献書誌] Y.Goto: "Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers"Proc.ACIS 2nd International Conference on Software Engineering,Artificial Intelligence,Networking & Parallel/Distributed Computing. 168-175 (2001)
-
[文献書誌] J.Cheng: "Mathematical Knowledge Representation and Reasoning Based on Strong Relevant Logic"in R.Trappl(Ed.),"Cybernetics and Systems 2002,"Austrian Society for Cybernetic Studies. 789-794 (2002)
-
[文献書誌] J.Cheng: "Relevant Reasoning in Knowledge Engineering"in C.Faucher,L.Jain,and N.Ichalkaranje(Eds.),"Innovations in Knowledge Engineering,"Springer-Verlag. (to appear). (2002)
-
[文献書誌] J.Cheng: "A Strong Relevant Logic Approach to the Calculus of Fuzzy Conditionals"in E.E.Kerre(Ed.),"Computational Intelligent Systems for Applied Research,"World Scientific. (to appear). (2002)