ACL RD-TEC 1.0 Summarization of P95-1029
Paper Title:
USING HIGHER-ORDER LOGIC PROGRAMMING FOR SEMANTIC INTERPRETATION OF COORDINATE CONSTRUCTS
USING HIGHER-ORDER LOGIC PROGRAMMING FOR SEMANTIC INTERPRETATION OF COORDINATE CONSTRUCTS
Primarily assigned technology terms:
Other assigned terms:
- approach
- case
- categorial grammar
- ccg category
- combinatory categorial grammar
- combinatory logic
- composition
- derivation
- determiner
- determiners
- dutch
- fact
- formalism
- function composition
- generalized quantifier
- grammar
- grammatical formalism
- implementation
- interpretation
- linear time
- linguistic
- linguistic formalism
- linguistic theory
- logic
- logic programming language
- logical form
- logical forms
- meaning
- meta-language
- method
- names
- process
- prolog code
- proposition
- quantifier
- query
- recursion
- representations
- schema
- semantic
- semantic interpretation
- semantic rules
- semantic theory
- sentence
- sentences
- syntax
- technique
- term
- terms
- theories
- theory
- transitive verb
- universal quantification
- verb
- word
- words
