ACL RD-TEC 1.0 Summarization of P01-1019
Paper Title:
AN ALGEBRA FOR SEMANTIC CONSTRUCTION IN CONSTRAINT-BASED GRAMMARS
AN ALGEBRA FOR SEMANTIC CONSTRUCTION IN CONSTRAINT-BASED GRAMMARS
Authors: Ann Copestake and Alex Lascarides and Dan Flickinger
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- categorial grammar
- composition
- compositional semantics
- constituent coordination
- determiner
- device
- events
- fact
- feature
- feature structure
- first order logic
- formal description
- formal language
- formalisms
- formalization
- grammar
- grammar framework
- grammar rules
- grammars
- hpsg
- hpsgs
- index
- interpretation
- labeling
- lambda
- lexical entries
- lexical level
- lexical sign
- linear order
- logic
- logical form
- logical forms
- logical formula
- meaning
- meanings
- montague grammar
- predicates
- process
- quantifier
- quantifier scope
- relation
- representations
- runtime
- search space
- semantic
- semantic composition
- semantic content
- semantic information
- semantic underspecification
- semantic value
- sentences
- slot
- subject position
- symbol
- syntactic representation
- syntax
- term
- terms
- theorem
- transitive closure
- typed feature
- typed feature structure
- underspecification
- unification categorial grammar
- unification grammars
- verb
- vocabulary
- words
