ACL RD-TEC 1.0 Summarization of E93-1009
Paper Title:
A STRATEGY FOR DYNAMIC INTERPRETATION: A FRAGMENT AND AN IMPLEMENTATION
A STRATEGY FOR DYNAMIC INTERPRETATION: A FRAGMENT AND AN IMPLEMENTATION
Authors: Olivier Bouche and Jan van Eijck and Olivier Istace
Primarily assigned technology terms:
- algorithm
- binding
- compiler
- database
- feature unification
- language analysis
- language interpretation
- logic programming
- meaning representation
- montague treatment
- natural language interpretation
- parser
- parsing
- presupposition projection
- processor
- programming language
- prolog
- quantification
- reading
- reasoning
- translation algorithm
- translator
- unification
Other assigned terms:
- abbreviation
- anaphor
- anaphors
- approach
- axioms
- case
- categorial grammar
- categorial structure
- community
- composition
- definite description
- derivation
- determiner
- determiners
- discipline
- discourse
- existential quantification
- fact
- feature
- first order logic
- grammar
- grammars
- implementation
- indefinite noun
- indefinite noun phrase
- index
- input string
- input text
- intention
- interpretation
- lambda
- lambda expression
- latex
- lexical item
- lexical items
- lexicon
- linguistic
- logic
- logic programming language
- mapping
- maps
- meaning
- meaning representation language
- meanings
- montague grammar
- names
- natural language
- natural language sentences
- natural language texts
- negation
- noun phrase
- noun phrases
- parse
- parse tree
- phrase
- polymorphism
- predicate logic
- predicates
- presupposition
- presuppositions
- program writing
- projection
- pronoun
- pronouns
- proper name
- proper names
- relation
- representation language
- representations
- schema
- semantic
- sentence
- sentence boundaries
- sentences
- style
- symbols
- syntax
- syntax and semantics
- terms
- text
- theorem
- translations
- tree
- trees
- understanding
- words
