63 citations · 158 across the 14 of their papers we have counts for
4 papers · 1 filter
On Constraint-Based Lambek Calculi
Jochen Doerre, Suresh Manandhar
We explore the consequences of layering a Lambek proof system over an arbitrary (constraint) logic. A simple model-theoretic semantics for our hybrid language is provided for which…
Deterministic Consistency Checking of LP Constraints
Suresh Manandhar
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 i…
An Attributive Logic of Set Descriptions and Set Operations
Suresh Manandhar
This paper provides a model theoretic semantics to feature terms augmented with set descriptions. We provide constraints to specify HPSG style set descriptions, fixed cardinality s…
Priority Union and Generalization in Discourse Grammars
Claire Grover, Chris Brew, Suresh Manandhar +1
We describe an implementation in Carpenter's typed feature formalism, ALE, of a discourse grammar of the kind proposed by Scha, Polanyi, et al. We examine their method for resolvin…