Socratic sequent systems
暂无分享,去创建一个
[1] Robert Givan,et al. Natural Language Based Inference Procedures Applied to Schubert's Steamroller , 1991, AAAI.
[2] Martin D. Davis,et al. Obvious Logical Inferences , 1981, IJCAI.
[3] Robert S. Boyer,et al. Computer Proofs of Limit Theorems , 1971, International Joint Conference on Artificial Intelligence.
[4] Greg Nelson,et al. Fast Decision Procedures Based on Congruence Closure , 1980, JACM.
[5] Benjamin Kuipers,et al. Towards a Theory of Access-limited Logic for Knowledge Representation , 2005 .
[6] Robert Givan,et al. Taxonomic syntax for first order inference , 1989, JACM.
[7] David A. McAllester. Automatic recognition of tractability in inference relations , 1993, JACM.
[8] Vaughan R. Pratt,et al. On specifying verifiers , 1980, POPL '80.