ACL RD-TEC 1.0 Summarization of E89-1028

Other assigned terms:

• approach
• axioms
• case
• computational approach
• computational semantics
• conjunct
• denotation
• derivational equivalence
• determiner
• determiners
• entailment
• fact
• feature
• first order logic
• first-order logic
• formal language
• formal semantics
• formalism
• formalisms
• grammar
• implementation
• inference rules
• inferences
• intensional logic
• interpretation
• knowledge
• leaf
• linguistics
• logic
• mass noun
• meaning
• monadic first order logic
• montague grammar
• natural language
• natural language sentences
• natural languages
• negation
• normal form
• noun phrases
• nouns
• procedure
• process
• propositional logic
• propositions
• quantifier
• queries
• relation
• root node
• semantic
• semantic interpretation
• sentence
• sentences
• set theory
• style
• symbol
• term
• terms
• theory
• time complexity
• transformation
• tree
• understanding