ACL RD-TEC 1.0 Summarization of E95-1023
Paper Title:
DETERMINISTIC CONSISTENCY CHECKING OF LP CONSTRAINTS
DETERMINISTIC CONSISTENCY CHECKING OF LP CONSTRAINTS
Primarily assigned technology terms:
Other assigned terms:
- acyclic graph
- approach
- binary relation
- case
- computational complexity
- computational model
- derivation
- fact
- feature
- feature formalism
- feature structures
- formalism
- formalisms
- grammar
- grammar formalism
- grammars
- hierarchical structure
- hpsg
- hpsg grammar
- implementation
- interpretation
- lexical entry
- linguistic
- linguistics
- logic
- natural languages
- normal form
- procedure
- programming paradigm
- pronoun
- relation
- scrambling
- sentence
- sentences
- set membership
- subordinate clauses
- symbol
- symbols
- syntax
- syntax and semantics
- terms
- theorem
- transitive closure
- typed feature
- underspecification
- user
- verb
- word
- word order
- words
