ACL RD-TEC 1.0 Summarization of C94-2177
Paper Title:
REVERSE QUERIES IN DATR
REVERSE QUERIES IN DATR
Primarily assigned technology terms:
- algorithm
- bottom-up chart parser
- chart parser
- chart-parsing
- computing
- inference engine
- lexicon development
- lexicon development and evaluation
- logic programming
- matching
- morphological parsing
- morphology
- parser
- parsing
- parsing algorithm
- parsing technology
- parsing-as-deduction
- processing
- syntactic parsing
- theorem prover
- theorem proving
Other assigned terms:
- abstract machine
- approach
- case
- context-free phrase structure
- datr
- datr theory
- derivation
- derivation process
- device
- fact
- formalism
- grammar
- implementation
- index
- inference rules
- input string
- lexica
- lexicon
- logic
- mapping
- mapping rules
- non-terminal symbol
- nonterminal
- nonterminals
- parse
- parsing problem
- phrase
- phrase structure
- phrase structure rule
- phrase structure rules
- priori
- procedure
- process
- queries
- query
- representations
- sentence
- sentences
- structure rule
- substring
- suffix
- suffixes
- symbol
- symbols
- syntax
- syntax and semantics
- technology
- term
- terms
- theorem
- theory
- tone
- vertex
