Show simple item record

dc.contributor.authorRosenschein, Stanley J.
dc.contributor.authorShieber, Stuart
dc.date.accessioned2008-09-10T18:11:38Z
dc.date.issued1982
dc.identifier.citationStanley J. Rosenschein and Stuart M. Shieber. Translating English into logical form. In Proceedings of the 20th Annual Meeting of the Association for Computational Linguistics, pages 1-8, University of Toronto, Toronto, Canada, June 16-18 1982.en
dc.identifier.issn0736-587Xen
dc.identifier.urihttp://nrs.harvard.edu/urn-3:HUL.InstRepos:2051751
dc.description.abstractA scheme for syntax-directed translation that mirrors compositional model-theoretic semantics is discussed. The scheme is the basis for an English translation system called PATR and was used to specify a semantically interesting fragment of English, including such constructs as tense, aspect, modals, and various lexically controlled verb complement structures. PATR was embedded in a question-answering system that replied appropriately to questions requiring the computation of logical entailments.en
dc.description.sponsorshipEngineering and Applied Sciencesen
dc.language.isoen_USen
dc.publisherAssociation for Computational Linguisticsen
dc.relation.isversionofhttp://dx.doi.org/10.3115/981251.981253en
dash.licenseLAA
dc.titleTranslating English into logical formen
dc.typeConference Paper
dc.description.versionVersion of Record
dc.relation.journalAnnual Meeting of the ACLen
dash.depositing.authorShieber, Stuart
dc.identifier.doi10.3115/981251.981253*
dash.identifier.orcid0000-0002-7733-8195*
dash.contributor.affiliatedGoodridge, Andrew


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record