{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T20:54:36Z","timestamp":1730235276910,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/icci-cc.2015.7259365","type":"proceedings-article","created":{"date-parts":[[2015,9,14]],"date-time":"2015-09-14T21:20:07Z","timestamp":1442265607000},"page":"49-58","source":"Crossref","is-referenced-by-count":3,"title":["An epistemic programming approach for automated theorem finding"],"prefix":"10.1109","author":[{"given":"Hongbiao","family":"Gao","sequence":"first","affiliation":[]},{"given":"Jingde","family":"Cheng","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9133-x"},{"journal-title":"Graph Theory","year":"2000","author":"diestel","key":"ref11"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ICMLC.2011.6016780"},{"journal-title":"SableCC","year":"0","author":"gagnon","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2014.06.028"},{"key":"ref15","first-page":"135","article-title":"Automated Discovery of Inductive Theorems","author":"mccasland","year":"2007","journal-title":"Journal of Studies in Logic Grammar and Rhetoric 10 23"},{"article-title":"Automated Development of Fundamental Mathematical Theories","year":"1992","author":"quaife","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72584-8_52"},{"article-title":"Automated Reasoning: 33 Basic Research Problem","year":"1988","author":"wos","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF00881868"},{"key":"ref4","first-page":"2400","article-title":"Epistemic Programming: Toward a New Programming Paradigm for Scientific Discovery","volume":"3","author":"cheng","year":"1996","journal-title":"Proceedings of the 1996 IEEE Annual International Conference on Systems Man and Cybernetics"},{"key":"ref3","first-page":"105","article-title":"Entailment Calculus as the Logical Basis of Automated Theorem Finding in Scientific Discovery","author":"cheng","year":"1995","journal-title":"Systematic Methods of Scientific Discovery Papers from the 1995 Spring Symposium"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2007.94"},{"key":"ref5","first-page":"136","article-title":"A Strong Relevant Logic Model of Epistemic Processes in Scientific Discovery","volume":"61","author":"cheng","year":"2000","journal-title":"Frontiers in Artificial Intelligence and Applications"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74827-4_56"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74827-4_106"},{"key":"ref2","first-page":"8","article-title":"A Relevant Logic Approach to Automated Theorem Finding","author":"cheng","year":"1994","journal-title":"Proceedings of the Workshop on Automated Theorem Proving attached to International Symposium on Fifth Generation Computer Systems"},{"year":"2010","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-25984-8_30"}],"event":{"name":"2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)","start":{"date-parts":[[2015,7,6]]},"location":"Beijing, China","end":{"date-parts":[[2015,7,8]]}},"container-title":["2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive Computing (ICCI*CC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7235859\/7259359\/07259365.pdf?arnumber=7259365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,25]],"date-time":"2017-03-25T03:44:14Z","timestamp":1490413454000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7259365\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icci-cc.2015.7259365","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}