Automatic recognition of tractability in inference relations
暂无分享,去创建一个
[1] Dexter Kozen,et al. Complexity of finitely presented algebras , 1977, STOC '77.
[2] Robert E. Shostak,et al. An algorithm for reasoning about equality , 1977, CACM.
[3] Robert E. Tarjan,et al. Variations on the Common Subexpression Problem , 1980, J. ACM.
[4] Greg Nelson,et al. Fast Decision Procedures Based on Congruence Closure , 1980, JACM.
[5] David A. McAllester. Ontic: A Knowledge Representation System for Mathematics , 1989, CADE.
[6] Robert Givan,et al. Natural Language Based Inference Procedures Applied to Schubert's Steamroller , 1991, AAAI.
[7] Robert Givan,et al. Taxonomic syntax for first order inference , 1989, JACM.