ACL RD-TEC 1.0 Summarization of P83-1021
Paper Title:
PARSING AS DEDUCTION
PARSING AS DEDUCTION
Authors: Fernando C. N. Pereira and David H. D. Warren
Primarily assigned technology terms:
- algorithm
- approximation
- artificial intelligence
- axiomatization
- backtrack parsing
- binding
- bottom-up parsing
- chart parser
- chart parsing
- chart-parsing
- complexity analysis
- context-free parsing
- context-free parsing algorithm
- earley algorithm
- earley deduction
- earley parsing
- earley-style parsing
- efficient parsing
- encoding
- identification
- indexing
- instantiation
- logic programming
- oltline parsing
- online parsing
- parser
- parsers
- parsing
- parsing algorithm
- parsing method
- predictor
- programming language
- prolog
- search
- structure sharing
- subsumption checking
- tabular parsing
- terminology
- the chart parsing
- theorem proving
- tile
- top-down prediction
- unification
- unification-based parsing
Other assigned terms:
- approach
- array
- binary tree
- case
- computational complexity
- concepts
- context-free grammar
- context-free grammars
- context-free rule
- data structures
- decidability
- deduction
- deduction proof
- definite clause grammars
- derivation
- fact
- formalism
- formalisms
- functional structure
- grammar
- grammar formalism
- grammar formalisms
- grammar rule
- grammar rules
- grammars
- head word
- index
- inference rule
- inference rules
- input string
- intelligence
- interpretation
- lemma
- lexical categories
- lexieal-functional grammar
- lfg rule
- logic
- logic programming language
- mapping
- meaning
- mechanisms
- method
- names
- nonterminal
- nonterminals
- parsing approach
- parsing problem
- parsing procedure
- parsing strategy
- predicates
- procedure
- recursion
- relation
- representations
- right-hand side
- schema
- search procedure
- semantic
- semantic interpretation
- sentence
- sentential form
- stems
- subsumption
- symbol
- symbols
- technique
- term
- terms
- theorem
- time complexity
- topics
- tree
- turing machine
- unbounded dependencies
- unification grammar
- unification-based grammar
- unit clause
- word
- words
