Theoretical Computer Science
Information-based syntax and semantics: Vol. 1: fundamentals
Information-based syntax and semantics: Vol. 1: fundamentals
Categorial semantics and scoping
Computational Linguistics
Semantic interpretation as higher-order deduction
JELIA '90 Proceedings of the European workshop on Logics in AI
Restriction and correspondence-based translation
EACL '93 Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics
Translation by structural correspondences
EACL '89 Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics
Quantifiers, Anaphora, and Intensionality
Journal of Logic, Language and Information
The semantics of resource sharing in lexical-functional grammar
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
EACL '99 Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics
Negative polarity licensing at the syntax-semantics interface
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Efficient linear logic meaning assembly
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
Memoisation for glue language deduction and categorial parsing
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 1
Syntactic analyses for parallel grammars: auxiliaries and genitive NPs
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1
| Hi-index | 0.00 |
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the meanings of their parts. Traditionally, meanings are combined via function composition, which works well when constituent structure trees are used to guide semantic composition. More recently, the functional structure of LFG has been used to provide the syntactic information necessary for constraining derivations of meaning in a cross-linguistically uniform format. It has been difficult, however, to reconcile this approach with the combination of meanings by function composition. In contrast to compositional approaches, we present a deductive approach to assembling meanings, based on reasoning with constraints, which meshes well with the unordered nature of information in the functional structure. Our use of linear logic as a 'glue' for assembling meanings also allows for a coherent treatment of modification as well as of the LFG requirements of completeness and coherence.