ACL RD-TEC 1.0 Summarization of P89-1004
Paper Title:
LOGICAL FORMS IN THE CORE LANGUAGE ENGINE
LOGICAL FORMS IN THE CORE LANGUAGE ENGINE
Authors: Hiyan Alshawi and Jan van Eijck
Primarily assigned technology terms:
- database
- database query system
- lambda abstraction
- language processing
- linguistic analysis
- measuring
- natural language processing
- natural language systems
- naturallanguage processing
- paraphrasing
- parsing
- processing
- quantification
- quantifier scoping
- query system
- reading
- reasoning
- reference resolution
- resolution process
- simulator
- verb phrases
- voting
Other assigned terms:
- abbreviation
- anaphora
- approach
- argument position
- case
- compositional semantics
- compound nominal
- contextual information
- database query
- definite noun
- definite noun phrase
- derivational equivalence
- determiners
- events
- fact
- first order logic
- formalism
- generalized quantifier
- grammar
- implementation
- index
- interpretation
- interpretation rules
- lambda
- language engine
- language processing applications
- linguistic
- logic
- logical form
- logical forms
- meaning
- meanings
- measure
- montague grammar
- names
- natural language
- natural language processing applications
- nominals
- noun phrase
- noun phrases
- nouns
- phrase
- predicates
- prepositional phrase
- prepositional phrases
- process
- pronoun
- pronoun anaphora
- pronouns
- quantifier
- query
- relation
- representations
- semantic
- semantic features
- semantic interpretation
- semantic interpretation rules
- semantic representation
- semantic representations
- semantic rules
- sentence
- sentence representation
- sentences
- syntactic structure
- syntax
- target language
- technique
- temporal logic
- tense and aspect
- term
- terms
- translations
- verb
- verb phrase
