Natural Language Based Inference Procedures Applied to Schubert's Steamroller
暂无分享,去创建一个
[1] R. Montague. Formal philosophy; selected papers of Richard Montague , 1974 .
[2] Richard Montague,et al. ENGLISH AS A FORMAL LANGUAGE , 1975 .
[3] Christoph Walther. A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution , 1984, AAAI.
[4] Franz Oppacher,et al. Controlling Deduction with Proof Condensation and Heuristics , 1986, CADE.
[5] Wolfgang Bibel,et al. Bottom-up enhancements of deductive systems , 1987 .
[6] N. J. Davies. Schubert's steamroller in a natural deduction theorem prover , 1988 .
[7] David A. McAllester. Ontic: A Knowledge Representation System for Mathematics , 1989, CADE.
[8] Benjamin Kuipers,et al. Towards a Theory of Access-limited Logic for Knowledge Representation , 2005 .
[9] Robert Givan,et al. Natural Language Syntax and First-Order Inference , 1992, Artificial Intelligence.
[10] David A. McAllester. Automatic recognition of tractability in inference relations , 1993, JACM.
[11] Robert Givan,et al. Taxonomic syntax for first order inference , 1989, JACM.