CHR as grammar formalism. A first report

Henning Christiansen
DOI: https://doi.org/10.48550/arXiv.cs/0106059
2001-06-29
Abstract:Grammars written as Constraint Handling Rules (CHR) can be executed as efficient and robust bottom-up parsers that provide a straightforward, non-backtracking treatment of ambiguity. Abduction with integrity constraints as well as other dynamic hypothesis generation techniques fit naturally into such grammars and are exemplified for anaphora resolution, coordination and text interpretation.
Programming Languages,Computation and Language
What problem does this paper attempt to address?