arXiv · cmp-lg/9502017
Deterministic Consistency Checking of LP Constraints
Abstract
We provide a constraint based computational model of linear precedence as employed in the HPSG grammar formalism. An extended feature logic which adds a wide range of constraints involving precedence is described. A sound, complete and terminating deterministic constraint solving procedure is given. Deterministic computational model is achieved by weakening the logic such that it is sufficient for linguistic applications involving word-order.
Explore related subjects
Keep this discovery
Explore connections, maps & timelines
Suresh Manandhar. 1995-02-16. Deterministic Consistency Checking of LP Constraints. https://arxiv.org/abs/cmp-lg/9502017
Cite the original work for its findings. Save a collection to share your selection of sources.