Natural language based inference procedures applied to schubert's steamroller
| Author(s) : | Sameer Shalaby David Mcallester Robert Givan, |
| Publisher : | N/A |
| Publication Date : | 1991 |
| ISSN : | N/A |
| Abstract : | We have previously argued that the syntactic structure of natural language can be exploited to construct powerful polynomial time inference procedures. This paper supports the earlier arguments by demonstrating that a natural language based polynomial time procedure can solve Schubert's steamroller in a single step., |