ACL RD-TEC 1.0 Summarization of C94-2144
Paper Title:
TDL-A TYPE DESCRIPTION LANGUAGE FOR CONSTRAINT-BASED GRAMMARS
TDL-A TYPE DESCRIPTION LANGUAGE FOR CONSTRAINT-BASED GRAMMARS
Authors: Hans-Ulrich Krieger and Ulrich Schafer
Primarily assigned technology terms:
- algorithm
- chart parser
- classification
- computing
- constraint solver
- decoding
- decomposition
- development environment
- encoding
- feature constraint solver
- grammar development
- grammar development environment
- grammar writer
- inference engine
- kernel
- language processing
- language processing ~
- lazy expansion
- linguistic deduction
- linguistic processing
- natural language processing
- parser
- parsing
- processing
- reasoning
- search
- term unification
- tile
- type classification
- type unification
- typed unification
- typed unification algorithm
- unification
- unification algorithm
Other assigned terms:
- approach
- binary relations
- case
- deduction
- dependency graph
- description language
- disjunction
- disjunctive feature
- expansion technique
- fact
- feature
- feature description
- feature structure
- feature structures
- first-order logic
- formalism
- generation
- grammar
- grammars
- hpsg
- hpsg grammar
- implementation
- interpretation
- knowledge
- lexical rules
- lexicon
- lexicon entries
- linguistic
- linguistic knowledge
- linguistics
- lisp
- logic
- meaning
- measure
- mechanisms
- method
- names
- natural language
- negation
- normal form
- predicates
- probability
- process
- queries
- recursion
- relation
- relational calculus
- search space
- semantic
- stems
- subsumption
- subsumption relation
- symbol
- symbols
- syntax
- tags
- technique
- term
- terms
- theories
- transitive closure
- turing machine
- type hierarchy
- typed feature
- typed feature structures
- user
