Work

Parsing as deduction

Year: 1983
Type: conference-paper
Abstract: By exploring the relationship between parsing and deduction, a new and more general view of chart parsing is obtained, which encompasses parsing for grammar formalisms based on unification, and is the basis of the Earley Deduction proof procedure for definite clauses. The efficiency of this approach for an interesting class of grammars is discussed.
Institution: SRI International
Language: English
Open Access status: bronze
OpenAlex ID: W2161021345
FWCI: 7.614
Cites: 18
Cited by: 304
Related to: 10