Joachim A. Niehren

publications relevant to SFB 378

2001

The Constraint Language for Lambda Structures
(Markus Egg and Alexander Koller and Joachim Niehren)

Underspecified Beta Reduction
(Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren)

Beta Reduction Constraints
(Manuel Bodirsky and Katrin Erk and Alexander Koller and Joachim Niehren)

Processing Underspecified Semantic Representations in the Constraint Language for Lambda Structures
(Katrin Erk and Alexander Koller and Joachim Niehren)

An Efficient Algorithm for the Configuration Problem of Dominance Graphs
(Ernst Althaus and Denys Duchier and Alexander Koller and Kurt Mehlhorn and Joachim Niehren and Sven Thiel)

2000

Relaxing Underspecified Semantic Representations for Reinterpretation
(Alexander Koller and Joachim Niehren and Kristina Striegnitz)

Dominance Constraints with Set Operators
(Denys Duchier and Joachim Niehren)

Parallelism Constraints
(Katrin Erk and Joachim Niehren)

On Underspecified Processing of Dynamic Semantics
(Alexander Koller and Joachim Niehren)

Constraint Programming in Computational Linguistics
(Alexander Koller and Joachim Niehren)

On Rewrite Constraints and Context Unification
(Joachim Niehren and Ralf Treinen and Sophie Tison)

1999

Scope Underspecification and Processing
(Alexander Koller and Joachim Niehren)

Relaxing Underspecified Semantic Representations for Reinterpretation
(Alexander Koller and Joachim Niehren and Kristina Striegnitz)

1998

Constraints over Lambda Structures, Antecedent Contained Deletion, and Quantifier Identities
(Egg,Markus and Koller, Alexander and Niehren, Joachim and Ruhrberg, Peter)

Constraints over Lambda-Structures in Semantic Underspecification
(Markus Egg and Joachim Niehren and Peter Ruhrberg and Feiyu Xu)

Dominance Constraints in Context Unification
(Joachim Niehren and Alexander Koller)

1997

On Equality Up-to Constraints over Finite Trees, Context Unification and One-Step Rewriting
(Joachim Niehren and Manfred Pinkal and Peter Ruhrberg)

A Uniform Approach to Underspecification and Parallelism
(Niehren, Joachim and Pinkal, Manfred and Ruhrberg, Peter)