ACL RD-TEC 1.0 Summarization of P99-1039
Paper Title:
ALTERNATING QUANTIFIER SCOPE IN CCG
ALTERNATING QUANTIFIER SCOPE IN CCG
Primarily assigned technology terms:
- artificial intelligence
- binding
- computational linguistics
- computing
- database
- disambiguation
- first-order predicate calculus
- linking
- object topicalization
- parser
- parsing
- probabilistic disambiguation
- processing
- programming language
- quantification
- reading
- recognition
- right node raising
- search
- spanning tree
- topicalization
Other assigned terms:
- ambiguity
- case
- categorial grammar
- composition
- conjunct
- derivation
- derivations
- determiner
- discourse
- discourse entities
- entity types
- existential quantification
- existential quantifier
- fact
- function composition
- functional analysis
- generalized quantifier
- grammar
- heuristics
- inference rules
- inferences
- intelligence
- interpretation
- intonation
- invocation
- knowledge
- lexicon
- linguist
- linguistics
- linguists
- logical form
- logical forms
- mapping
- maps
- meaning
- mechanisms
- method
- natural language
- node raising
- nominals
- ontology
- parallelism
- predicate calculus
- predicate-argument
- predicate-argument structure
- process
- pronoun
- pronouns
- quantifier
- quantifier movement
- quantifier scope
- relation
- representations
- scope ambiguity
- search space
- semantic
- semantic interpretation
- sentence
- sentences
- surface grammar
- surface structure
- syntactic derivation
- syntax
- syntax and semantics
- technique
- term
- terms
- theories
- transitive verb
- tree
- valency
- verb
- word
- world knowledge
