ACL RD-TEC 1.0 Summarization of J87-1005
Paper Title:
AN ALGORITHM FOR GENERATING QUANTIFIER SCOPINGS
AN ALGORITHM FOR GENERATING QUANTIFIER SCOPINGS
Authors: Jerry R. Hobbs and Stuart M. Shieber
Primarily assigned technology terms:
- algorithm
- binding
- computational linguistics
- computer science
- cooper storage
- encoding
- generation algorithm
- induction
- lisp implementation
- matching
- natural language system
- parsing
- pattern matching
- pragmatic processing
- processing
- prolog
- quantification
- quantifier scoping
- reading
- reasoning
- scope generation
Other assigned terms:
- anaphora
- approach
- association for computational linguistics
- benchmark
- case
- complex term
- computational research
- concept
- culture
- development foundation
- existential quantifier
- fact
- function word
- generalized quantifier
- generalized quantifier research
- generation
- head noun
- heuristic
- heuristic rules
- heuristics
- hypotheses
- hypothesis
- implementation
- induction hypothesis
- intensional logic
- interpretation
- knowledge
- lambda
- lambda expression
- lemma
- lexical semantic
- linguistic
- linguistics
- lisp
- logic
- logical form
- logical form language
- logical forms
- logical structure
- meanings
- measure
- method
- natural language
- natural language texts
- natural-language
- negation
- noun phrase
- noun phrases
- partial correctness
- permutation
- phrase
- predicate-argument
- predicate-argument structure
- predicates
- prepositional phrase
- prolog implementation
- pronoun
- propositional content
- quantifier
- quantifier scope
- recursion
- semantic
- semantic and pragmatic
- semantic roles
- sentence
- sentences
- symbol
- syntactic structure
- syntax
- system development
- term
- terms
- text
- theorem
- understanding
- well-formed formula
- word
- world knowledge
