Author:
Gao Hongbiao,Liu Jiaming,Li Jianbin,Cheng Jingde
Publisher
Springer International Publishing
Reference14 articles.
1. Cheng, J.: Entailment calculus as the logical basis of automated theorem finding in scientific discovery. Systematic Methods of Scientific Discovery: Papers from the 1995 Spring Symposium, pp. 105–110. AAAI Press - American Association for Artificial Intelligence (1995)
2. Cheng, J.: A strong relevant logic model of epistemic processes in scientific discovery. Front. Artif. Intell. Appl. 61, 136–159 (2000)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Cheng,2007
4. Figueira, P., Bravo, C., Lopez, J.: Improving information security risk analysis by including threat-occurrence predictive models. Comput. Secur. 88, 101609 (2020)
5. Gao, H., Goto, Y., Cheng, J.: A systematic methodology for automated theorem finding. Theor. Comput. Sci. 554, 2–21 (2014)