Digital Access to Scholarship at Harvard (DASH) (Harvard University) · 1993 · 66 citations · 9 references
Open access
Natural SciencesMathematicsFormal MethodsLogicAxiomatic Set TheoryEquivalence CheckingEquivalence PrinciplePredicate LogicForm EquivalenceLogical EquivalenceSyntactic Equivalence
this paper, I review the problem, and attempt to highlight certain salient aspects of it that have been lost in the pursuing of solutions, in order to reconcile the apparently contradictory claims of the problem's intractability and its resolution. 2 Review of Natural-Language Generation
9
An Inquiry Into Meaning and Truth.
Bruce Waters, Bertrand Russell · Philosophy and Phenomenological Research · 1941 · 725 citations
A uniform architecture for parsing and generation
Stuart M. Shieber · 1988 · 146 citations · Full text
Language Studies, Computer Science, Computational Linguistics +16
Natural language syntax and first-order inference
David McAllester, Robert Givan · Artificial Intelligence · 1992 · 52 citations
Jeffrey C. Stone · Human Organization · 1989 · 48 citations
Universals and scientific realism
D. M. Armstrong · 1978 · 46 citations