ACL RD-TEC 1.0 Summarization of C00-1080
Paper Title:
CHART PARSING AND CONSTRAINT PROGRAMMING
CHART PARSING AND CONSTRAINT PROGRAMMING
Primarily assigned technology terms:
- algorithm
- backtracking
- bottom-up parsing
- chart parser
- chart parsing
- constraint handling
- constraint programming
- constraint propagation
- constraint resolution
- constraint solving
- decomposition
- deduction system
- deductive parsing
- grammatical deduction
- head-corner parsing
- ihc parsing-as-deduction
- inference process
- matching
- parser
- parsers
- parsing
- parsing system
- parsing-as-deduction
- predictor
- processing
- prolog
- rapid prototyping
- recognition
- resolution process
- sicstus prolog
- summarization
- terminology
- tile
- tile inference
- tile parsing
- tile processing
- unification
Other assigned terms:
- alphabet
- approach
- axioms
- case
- cf grammar
- cf rule
- context-free grammar
- debugging
- deduction
- derivations
- empty string
- fact
- feature
- feature structures
- formal semantics
- formalism
- formalisms
- grammar
- grammar rules
- grammars
- hpsg
- implementation
- index
- inference rules
- inferences
- input string
- lexical item
- lexical items
- lexicon
- linguistics
- method
- minimalism
- natural language
- nonterminal
- nonterminals
- parse
- parse tree
- parsing process
- phrase
- procedure
- process
- root node
- schema
- sentence
- sentences
- subtree
- symbol
- symbols
- technique
- terminals
- terms
- theories
- tree
- tree adjoining grammars
- trees
- typed feature
- typed feature structures
- word
- words