Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic-Reference-Cited by-同舟云学术

Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic

Published:2017 Issue: Volume: Page:115-124
ISSN:0302-9743
Container-title:Intelligent Information and Database Systems
language:
Short-container-title:

Author:

Gao Hongbiao,Cheng Jingde

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-54430-4_12

Reference19 articles.

1. Lecture Notes in Computer Science;R Bagai,1993

2. Cheng, J.: A relevant logic approach to automated theorem finding. In: The Workshop on Automated Theorem Proving Attached to International Symposium on Fifth Generation Computer Systems, pp. 8–15 (1994)

3. Cheng, J.: Entailment calculus as the logical basis of automated theorem finding in scientific discovery. In: Systematic Methods of Scientific Discovery: Papers from the 1995 Spring Symposium, pp. 105–110. AAAI Press - American Association for Artificial Intelligence (1995)

4. Cheng, J.: A strong relevant logic model of epistemic processes in scientific discovery. In: Information Modelling and Knowledge Bases XI, Frontiers in Artificial Intelligence and Applications, vol. 61, pp. 136–159. IOS Press (2000)

5. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);J Cheng,2007

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry;Electronic Proceedings in Theoretical Computer Science;2024-01-22

2. FreeEnCal Web: A Web Service of Automated Forward Reasoning for General-Purpose;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10

3. Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry;2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced & Trusted Computing, Scalable Computing & Communications, Cloud & Big Data Computing, Internet of People and Smart City Innovation (SmartWorld/SCALCOM/UIC/ATC/CBDCom/IOP/SCI);2018-10