[1] Anderson A R, Belnap Jr N D. Entailment. The logic of relevance and necessity (Vol. I)[M]. Princeton:Princeton University Press, 1975.
[2] Anderson A R, Belnap Jr N D, Dunn J M, Entailment. The logic of relevance and necessity (Vol. II)[M]. Princeton:Princeton University Press, 1992.
[3] Diaz M R. Topics in the logic of relevance[M]. Munchen:Philosophia Verlag, 1981.
[4] Dunn J M, Restall G. Relevance Logic[M]//Gabbay D, Guenthner F, ed. Handbook of Philosophical Logic, 2nd Ed, Vol 6. Dordrecht:Kluwer Academic, 2002.
[5] Mares E D. Relevant logic:A philosophical interpretation[M]. Cambridge:Cambridge University Press, 2004.
[6] Read S. Relevant logic:A philosophical examination of inference[M]. Oxford:Basil Blackwell, 1988.
[7] Cheng J D. Rc-A relevant logic for conditional relation representation and reasoning[C]//Proceedings of the 1st Singapore International Conference on Intelligent Systems. Singapore, 1992:171-176.
[8] Cheng J D. A relevant logic approach to automated theorem finding[C]//Proceedings of the Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems 1994. Tokyo, Japan, 1994.
[9] Cheng J D. Entailment calculus as the logical basis of automated theorem finding in scientific discovery[R]//Valdes-Perez R ed. Systematic Methods of Scientific Discovery:Papers from the 1995 Spring Symposium. AAAI Press, 1995:AAAI Technical Report SS-95-03.
[10] Cheng J D. EnCal:An automated forward deduction system for general-purpose entailment calculus[C]//Terashima N, Altman E, ed. Advanced IT Tools, Proceedings IFIP World Conference on IT Tools, IFIP 9614th World Computer Congress. Chapman & Hall, 1996:507-514.
[11] Cheng J D. Epistemic programming:Toward a new programming paradigm for scientific discovery[C]//Proceedings of the 1996 IEEE Annual International Conference on Systems, Man, and Cybernetics,Vol. 3. IEEE, 1996:2400-2406.
[12] Cheng J D. A strong relevant logic model of epistemic processes in scientific discovery[C]//Kawaguchi E, Kangassalo H, Jaakkola H, et al. Information Modeling and Knowledge Bases XI, Frontiers in Artificial Intelligence and Applications, Vol 61. IOS Press, F2000:136-159.
[13] Cheng J D. Strong relevant logic as the universal basis of various applied logics for knowledge representation and reasoning[C]//Kiyoki Y, Henno J, Jaakkola H, et al. Information Modelling and Knowledge Bases XVII, Frontiers in Artificial Intelligence and Applications, Vol 136. IOS Press, 2006:310-320.
[14] Gao Y, Cheng J D. Operational semantics for positive relevant logics without distribution[C]//Computation and Logic in the Real World, Third Conference on Computability in Europe, CiE 2007, Lecture Notes in Computer Science, Vol 4497. Springer, 2007:325-335.
[15] Gao Y, Cheng J D. Semantics for a basic relevant logic with intensional conjunction and disjunction (and some of its extensions)[J]. Mathematical Structures in Computer Science, 2008, 18(1):145-164.
[16] Cheng J D. Automated knowledge appreciation:A relevant reasoning approach to expand our knowledge and increase its value automatically[C]//Proceedings of the 14th IEEE International Conference on Cognitive Informatics & Cognitive Computing. IEEE Computer Society Press, 2015:175-183.
[17] Cheng J D, Nara S, Goto Y. FreeEnCal:A forward reasoning engine with general-purpose[C]//Apolloni B, Howlett R J, Jain L C, ed. Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, Lecture Notes in Artificial Intelligence, Vol 4693. Springer-Verlag, 2007:444-452.
[18] Wos L. Automated reasoning:33 basic research problems[J]. Upper Saddle River, NJ, USA:Prentice Hall, 1988.
[19] Wos L. The problem of automated theorem finding[J]. Journal of Automated Reasoning, 1993, 10(1):137-138.
[20] Gao H, Goto Y, Cheng J D. A systematic methodology for automated theorem finding[J]. Theoretical Computer Science, 2014, 554:2-21.
[21] Takahashi I, Nara S, Goto Y, et al. EPLAS:An epistemic programming language for all scientists[J]. Lecture Notes in Computer Science, 2007, 2:608-616.
[22] Cheng J D. Autonomous and continuous evolution of information systems[J]. Lecture Notes in Artificial Intelligence, 2005, 3681:758-767.
[23] Cheng J D. Evolutionary personal information partners[C]//Proceedings of the 2008 International Conference on Computational Intelligence and Security. IEEE Computer Society Press, 2008.
[24] Rosen R. Anticipatory systems:philosophical, mathematical, and methodological foundations[M]. 2nd ed. Springer, 2012.
[25] Dubois D M. Computing anticipatory systems with incursion and hyperincursion[C]//Computing Anticipatory Systems:CASYS-First International Conference, AIP Conference Proceedings. The American Institute of Physics, 1998.
[26] Cheng J D. Temporal relevant logic as the logical basis of anticipatory reasoning-reacting systems" (invited paper)[C]//Computing Anticipatory Systems:CASYS 2003 Sixth International Conference, AIP Conference Proceedings. American Institute of Physics, 2004.
[27] Kitajima N, Goto Y, Cheng J D. Development of a decision-maker in an anticipatory reasoning-reacting system for terminal radar control[C]//Hybrid Artificial Intelligence Systems, 4th International Conference, HAIS09. Springer, 2009.
[28] Shang F, Cheng J D. Anticipatory agents based on anticipatory reasoning[C]//Foundations of Intelligent Systems, 15th International Symposium, ISMIS 2005. Springer, 2005.
[29] Shi K, Goto Y, Zhu Z, et al. Anticipatory emergency elevator evacuation systems[C]//Intelligent Information and Database Systems, 5th Asian Conference, ACIIDS 2013. Springer, 2013.
[30] Shi K, Goto Y, Zhu Z, et al. Anticipatory runway incursion prevention systems[J]. IEICE Transactions on Information and Systems, 2013, 96. D(11):2385-2396.
[31] Cheng J D. Deontic relevant logic as the logical basis for legal information systems[C]//Proceedings of the 21st Annual ACM Symposium on Applied Computing. Dijon, France:ACM Press, 2006.
[32] Cheng J D. Deontic relevant logic as the logical basis for representing and reasoning about legal knowledge in legal information systems[C]//Knowledge-Based Intelligent Information and Engineering Systems, 12th International Conference, KES 2008. Springer, 2008.
[33] Cheng J D, Miura J. Deontic relevant logic as the logical basis for specifying, verifying, and reasoning about information security and information assurance[C]//Proceedings of the 1st International Conference on Availability, Reliability and Security. IEEE Computer Society Press, 2006.
[34] Wagatsuma K, Goto Y, Cheng J D. A formal analysis method with reasoning for key exchange protocols[J]. IPSJ Journal, 2015, 56(3):903-910.
[35] Wagatsuma K, Harada T, Anze S, et al. A supporting tool for spiral model of cryptographic protocol design with reasoning-based formal analysis[M]//Advanced Multimedia and Ubiquitous Engineering-Future Information Technology 2, Lecture Notes in Electrical Engineering, Vol 354. Springer, 2015.
[36] Cheng J D. Computing intentions dynamically in a changing world by anticipatory relevant reasoning[C]//Intelligent Information and Database Systems, 6th Asian Conference, ACIIDS 2014. Springer, 2014.
