other,13-5-E93-1013,ak a deductive approach to assembling <term> meanings </term> , based on <term> reasoning with constraints
tech,17-5-E93-1013,ak assembling <term> meanings </term> , based on <term> reasoning with constraints </term> , which meshes well with the unordered
tech,6-2-E93-1013,ak Traditionally , meanings are combined via <term> function composition </term> , which works well when <term> constituent
tech,17-4-E93-1013,ak combination of <term> meanings </term> by <term> function composition </term> . In contrast to compositional approaches
other,20-2-E93-1013,ak structure trees </term> are used to guide <term> semantic composition </term> . More recently , the <term> functional
other,32-5-E93-1013,ak nature of <term> information </term> in the <term> functional structure </term> . Our use of <term> linear logic </term>
other,31-6-E93-1013,ak requirements of <term> completeness </term> and <term> coherence </term> . We describe a <term> computational
other,12-6-E93-1013,ak </term> as a ' glue ' for assembling <term> meanings </term> also allows for a coherent treatment
other,29-6-E93-1013,ak well as of the LFG requirements of <term> completeness </term> and <term> coherence </term> . We describe
other,13-1-E93-1013,ak providing <term> meanings </term> for <term> lexical items </term> and <term> rules </term> for determining
other,13-2-E93-1013,ak composition </term> , which works well when <term> constituent structure trees </term> are used to guide <term> semantic composition
tech,3-6-E93-1013,ak functional structure </term> . Our use of <term> linear logic </term> as a ' glue ' for assembling <term>
other,20-6-E93-1013,ak allows for a coherent treatment of <term> modification </term> as well as of the LFG requirements
other,3-1-E93-1013,ak . <term> Semantic theories </term> of <term> natural language </term> associate <term> meanings </term> with
other,15-4-E93-1013,ak this approach with the combination of <term> meanings </term> by <term> function composition </term>
other,8-1-E93-1013,ak associate <term> meanings </term> with <term> utterances </term> by providing <term> meanings </term>
tech,16-1-E93-1013,ak </term> for <term> lexical items </term> and <term> rules </term> for determining the <term> meaning </term>
other,11-1-E93-1013,ak <term> utterances </term> by providing <term> meanings </term> for <term> lexical items </term> and <term>
other,7-3-E93-1013,ak <term> functional structure </term> of <term> LFG </term> has been used to provide the <term>
other,21-3-E93-1013,ak constraining <term> derivations </term> of <term> meaning </term> in a cross-linguistically uniform
hide detail