Funder
National Natural Science Foundation of China
Fundamental Research Funds for the Central Universities
Subject
Artificial Intelligence,Information Systems and Management,Computer Science Applications,Theoretical Computer Science,Control and Systems Engineering,Software
Reference50 articles.
1. Rewrite-based equational theorem proving with selection and simplification;Bachmair;J. Logic Comput.,1994
2. Automated reasoning for explainable artificial intelligence;Bonacina,2017
3. Semantically-guided goal-sensitive reasoning: inference system and completeness;Bonacina;J. Autom. Reason.,2017
4. Locking: A Restriction of Resolution;Boyer,1971
5. Conflict resolution: a first-order resolution calculus with decision literals and conflict-driven clause learning;Bruno;J. Autom. Reason.,2017
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献