Skip to main content
Article thumbnail
Location of Repository

Underspecified beta reduction

By Manuel Bodirsky, Katrin Erk, Alexander Koller and Joachim Niehren


For ambiguous sentences, traditional semantics construction produces large numbers of higher-order formulas,which must then be beta-reduced individually. Underspecified versions can produce compact descriptions of all readings, but it is not known how to perform beta reduction on these descriptions. We show how to do this using beta reduction constraints in the constraint language for lambda-structures (CLLS)

Topics: Constraint-logische Programmierung, Beta Reduction, Data processing Computer science
Publisher: Fakultät 6 - Naturwissenschaftlich-Technische Fakultät I. Fachrichtung 6.2 - Informatik
Year: 2001
OAI identifier:

Suggested articles

To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.