Funder
National Natural Science Foundation of China
Subject
Artificial Intelligence,Information Systems and Management,Management Information Systems,Software
Reference44 articles.
1. V. Pavlov, A. Schukin, T. Cherkasova, Exploring automated reasoning in first-order logic: tools, techniques and application areas, in: The 4th International Conference on Knowledge Engineering and Semantic Web, vol. 394 in Communications in Computer and Information Science, St. Petersburg, Russia, October 7-9, 2013, pp. 102-116.
2. Otter 3.0 reference manual and guide, Technical Report ANL-94/6;McCune,1994
3. Rewrite-based equational theorem proving with selection and simplification;Bachmair;J. Logic Comput.,1994
4. First-order theorem proving and vampire;Kovács,2013
5. System description: E1.8;Schulz,2013