Author:
Liu Peiyao,Xu Yang,Liu Jun,Chen Shuwei,Cao Feng,Wu Guanfeng
Funder
National Natural Science Foundation of China
Jiangsu Provincial Department of Education
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference49 articles.
1. Overview on mechanized theorem proving;Jiang;J. Softw.,2020
2. Theorem-proving on the computer;Robinson;J. ACM,1963
3. Incorrectness logic;O'Hearn;Proc. ACM Program. Lang.,2020
4. G. Reger, A. Voronkov, Induction in saturation-based proof search, in: Automated Deduction – CADE 27, 2019, pp. 477-494, https://doi.org/10.1007/978-3-030-29436-6_28.
5. Vadalog: A modern architecture for automated reasoning with large knowledge graphs;Bellomarini;Inf. Syst.,2022
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献