A systematic methodology for automated theorem finding H Gao, Y Goto, J Cheng Theoretical Computer Science 554, 2-21, 2014 | 28 | 2014 |
A fault prediction of equipment based on CNN-LSTM network L Zheng, W Xue, F Chen, P Guo, J Chen, B Chen, H Gao 2019 IEEE international conference on energy internet (ICEI), 537-541, 2019 | 21 | 2019 |
A set of metrics for measuring interestingness of theorems in automated theorem finding by forward reasoning: a case study in NBG set theory H Gao, Y Goto, J Cheng Intelligence Science and Big Data Engineering. Big Data and Machine Learning …, 2015 | 14 | 2015 |
Measuring interestingness of theorems in automated theorem finding by forward reasoning based on strong relevant logic H Gao, J Li, J Cheng 2019 IEEE International Conference on Energy Internet (ICEI), 356-361, 2019 | 13 | 2019 |
A formal analysis method with reasoning for cryptographic protocols J Yan, K Wagatsuma, H Gao, J Cheng 2016 12th International Conference on Computational Intelligence and …, 2016 | 9 | 2016 |
Research on automated theorem finding: current state and future directions H Gao, Y Goto, J Cheng Future Information Technology: FutureTech 2014, 105-110, 2014 | 8 | 2014 |
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Tarski's Geometry H Gao, J Li, J Cheng 2018 IEEE SmartWorld, Ubiquitous Intelligence & Computing, Advanced …, 2018 | 6 | 2018 |
Finding Theorems in NBG Set Theory by Automated Forward Deduction Based on Strong Relevant Logic H Gao, K Shi, Y Goto, J Cheng Computing and Combinatorics 7936, 697-704, 2013 | 6 | 2013 |
Automated Theorem Finding by Forward Deduction Based on Strong Relevant Logic: A Case Study in NBG Set Theory H Gao, K Shi, Y Goto, J Cheng Proceedings of the 11th International Conference on Machine Learning and …, 2012 | 6 | 2012 |
A security evaluation and certification management database based on ISO/IEC standards H Chen, D Bao, H Gao, J Cheng 2016 12th International Conference on Computational Intelligence and …, 2016 | 5 | 2016 |
An epistemic programming approach for automated theorem finding H Gao, J Cheng 2015 IEEE 14th International Conference on Cognitive Informatics & Cognitive …, 2015 | 5 | 2015 |
Measuring Interestingness of Theorems in Automated Theorem Finding by Forward Reasoning: A Case Study in Peano’s Arithmetic H Gao, J Cheng Intelligent Information and Database Systems: 9th Asian Conference, ACIIDS …, 2017 | 4 | 2017 |
Contract-based programming for future computing with Ada 2012 B Wang, H Gao, J Cheng 2016 International Conference on Advanced Cloud and Big Data (CBD), 322-327, 2016 | 4 | 2016 |
A Predicate Suggestion Algorithm for Automated Theorem Finding with Forward Reasoning Y Goto, H Gao, J Cheng Intelligent Information and Database Systems: 9th Asian Conference, ACIIDS …, 2017 | 3 | 2017 |
An Extension of QSL for E-voting Systems Y Zhou, H Gao, J Cheng Advances in Computer Science and Ubiquitous Computing: CSA-CUTE2016 8, 87-96, 2017 | 3 | 2017 |
Development of a general-purpose offline e-testing environment H Gao, Z Wang, Y Zhou, J Cheng 2016 12th International Conference on Computational Intelligence and …, 2016 | 3 | 2016 |
QSL: a specification language for e-questionnaire, e-testing, and e-voting systems Y Zhou, H Gao, J Cheng Advanced Multimedia and Ubiquitous Engineering: FutureTech & MUE, 255-261, 2016 | 3 | 2016 |
Practical usage of freeencal: An automated forward reasoning engine for general-purpose Y Goto, H Gao, T Tsuji, J Cheng 2012 International Conference on Machine Learning and Cybernetics 5, 1878-1883, 2012 | 3 | 2012 |
Industrial control network security analysis and decision-making by reasoning method based on strong relevant logic H Gao, J Li, J Cheng 2019 IEEE Intl Conf on Dependable, Autonomic and Secure Computing, Intl Conf …, 2019 | 2 | 2019 |
Research on integrated SVDD rotating machinery vibration fault detection method based on deep autoencoder L Zheng, P Guo, F Chen, J Chen, W Xue, B Chen, H Gao 2019 IEEE International Conference on Energy Internet (ICEI), 531-536, 2019 | 2 | 2019 |