Please use this identifier to cite or link to this item:
http://dspace.mediu.edu.my:8181/xmlui/handle/1721.1/5971
Title: | Natural Language Based Inference Procedures Applied to Schubert's Steamroller |
Keywords: | natural language Schubert's steamroller automatedsinference automated theorem proving tractable inference Socraticsproof systems |
Issue Date: | 9-Oct-2013 |
Description: | 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. |
URI: | http://koha.mediu.edu.my:8181/xmlui/handle/1721 |
Other Identifiers: | AIM-1341 http://hdl.handle.net/1721.1/5971 |
Appears in Collections: | MIT Items |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.