ACL RD-TEC 1.0 Summarization of C90-2018
Paper Title:
FEATURE LOGIC WITH DISJUNCTIVE UNIFICATION
FEATURE LOGIC WITH DISJUNCTIVE UNIFICATION
Authors: Jochen Dorre and Andreas Eisele
Primarily assigned technology terms:
- algorithm
- backtracking
- context assignment
- decomposition
- development environment
- disambiguation
- disjunctive unification
- grammar development
- grammar development environment
- human language
- named disjunction
- normalization
- optimization
- reading
- structure sharing
- term unification
- tile
- unification
- unification method
- variable substitution
Other assigned terms:
- accusative case
- ambiguity
- approach
- case
- compact representation
- conjunct
- constraint satisfaction
- dative case
- denotation
- description language
- disjunction
- entailment
- fact
- feature
- feature description
- feature structures
- formalism
- formalisms
- grammar
- implementation
- index
- interpretation
- linear time
- linguistic
- linguistics
- logic
- maps
- meaning
- measure
- mechanisms
- method
- morphological features
- names
- negation
- normal form
- noun phrase
- part of speech
- phrase
- preposition
- procedure
- process
- production rules
- proposition
- propositional logic
- representations
- right-hand side
- structural ambiguity
- symbol
- symbols
- term
- terms
- theories
- transformation
- understanding
- word
- words
