| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 421598 | Electronic Notes in Theoretical Computer Science | 2011 | 12 Pages |
Abstract
This paper gives a brief overview of the work on translating natural language sentences into logic done at PARC and distills a few simple-minded lessons. Then we turn our attention to formal logics applicable to systems of contexts and describe some open questions on these systems.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
