2002
Wortstellungspräferenzen im Deutschen (Daniela Kurz)
The Monadic Second-Order Dominance Logic and Parallelism Constraints (Joachim Niehren and Mateu Villaret)
On Lambda Binding, Parallelism Constraints, and Context Unification (Joachim Niehren and Mateu Villaret)
First-Order Theory of Subtyping Constraints (Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, and Ralf Treinen)
An Efficient Graph Algorithm for Dominance Constraints (Ernst Althaus and Denys Duchier and Alexander Koller
and Kurt Mehlhorn and Joachim Niehren and Sven Thiel)
2001
Movement as well-formedness conditions (Ralph Debusmann)
A Declarative Grammar Formalism For Dependency Grammar (Ralph Debusmann)
Constraint Propagation in Mozart (Tobias Müller)
Tree Descriptions, Constraints and Incrementality (Denys Duchier and Claire Gardent)
Alice in the Land of Oz -- An Interoperability-based
Implementation of a Functional Language on Top of a Relational Language (Leif Kornstaedt)
When Do Bounds and Domain Propagation Lead to the
Same Search Space (Christian Schulte and Peter J. Stuckey)
The Constraint Language for Lambda Structures (Markus Egg and Alexander Koller and Joachim Niehren)
VP Ellipsis by Tree Surgery (Katrin Erk and Alexander Koller)
Lexicalized Syntax and Topology for Non-projective Dependency Grammar (Denys Duchier)
Beta Reduction Constraints (Manuel Bodirsky)
A compositional account of VP ellipsis (Markus Egg and Katrin Erk)
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)
Topological Dependency Trees: A Constraint-based Account of Linear Precedence (Denys Duchier and Ralph Debusmann)
Non-Structural Subtype Entailment in Automata Theory (Joachim Niehren and Tim Priesnitz)
The first-order theory of ordering constraints over feature
trees (Martin Müller and Joachim Niehren and Ralf Treinen )
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)
Dominance Constraints: Algorithms and Complexity (Alexander Koller, Joachim Niehren, Ralf Treinen)
2000
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings (Michael Kohlhase and Manfred Pinkal)
Reinterpretation from a synchronic and a diachronic point of view (Markus Egg)
TnT -- A Statistical Part-of-Speech Tagger (Thorsten Brants)
Inter-Annotator Agreement for a German Newspaper Corpus (Thorsten Brants)
Probabilistic Parsing and Psychological Plausibility (Thorsten Brants and Matthew Crocker)
Computing the Most Probable Parse for a
Discontinuous Phrase Structure Grammar (Oliver Plaehn)
A Statistical Account on Word Order Variation in German (Daniela Kurz)
German Factors Constraining Word Order Variation (Daniela Kurz, Wojciech Skut, Hans Uszkoreit)
Empirical Implications on Lexical Association Measures (Brigitte Krenn)
Collocation Mining: Exploiting Corpora for Collocation
Idenfication and Representation (Brigitte Krenn)
CDB -- A Database of Lexical Collocations (Brigitte Krenn)
The Usual Suspects: Data-Oriented Models for
Identification and Representation of Lexical Collocations (Brigitte Krenn)
Flexible semantic construction: the case of reinterpretation (Markus Egg)
Programming Constraint Services (Christian Schulte)
Configuration Of Labeled Trees Under Lexicalized Constraints And Principles (Denys Duchier)
ML mit Typklassen (Gerhard Schneider)
Die Verarbeitung von Parallelismus-Constraints (Katrin Erk)
Extensions of Constraint Solving for Proof Planning (Erica Melis and Jürgen Zimmer and Tobias Müller)
GIFT: a Generic Interface for Reusing Filtering
Algorithms. (Ka Boon Ng and Chiu Wo Choi and Martin Henz and Tobias
Müller)
Practical Investigation of Constraints with Graph Views (Tobias Müller)
Uniform Confluence in Concurrent Computation (Joachim Niehren)
Dominance Constraints With Boolean Connectives: A Model-Eliminative Treatment (Denys Duchier)
Oz (Thorsten Brunklaus)
Promoting Constraints to First-class Status (Tobias Müller)
Parallel Search Made Simple (Christian Schulte)
Constraint Programming For Natural Language Processing (Denys Duchier)
A Model-Eliminative Treatment of Quantifier-free Tree Descriptions (Denys Duchier)
Entailment von nicht-strukturellen Teiltyp-Constraints (Tim Priesnitz)
A Polynomial-Time Fragment of Dominance Constraints (Alexander Koller and Kurt Mehlhorn and Joachim Niehren)
An Overview of Finite Domain Constraint
Programming (Martin Henz and Tobias Müller)
Integrating Constraint Solving
into Proof Planning (Erica Melis and Jürgen
Zimmer and Tobias Müller)
Relaxing Underspecified Semantic
Representations for Reinterpretation (Alexander Koller and Joachim Niehren and Kristina Striegnitz)
An Implementation of the Programming Language DML in Java:
Runtime Environment (Daniel Simon)
An Implementation of the Programming Language DML in Java:
Compiler (Andreas Walter)
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)
Programming Deep Concurrent Constraint Combinators (Christian Schulte)
On Rewrite Constraints and Context Unification (Joachim Niehren and Ralf Treinen and Sophie Tison)
Ordering Constraints over Feature Trees (Martin Müller and Joachim Niehren and Andreas Podelski)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic (Martin Müller and Joachim Niehren)
1999
A Constraint-based treatment of descriptions (Denys Duchier and Claire Gardent)
Higher-Order Coloured Unification: a Linguistic Application (Claire Gardent and Michael Kohlhase and Karsten Konrad)
Managing Structural Information by Higher-Order Colored Unification (Dieter Hutter and Michael Kohlhase)
Constraint Languages for Semantic Underspecification (Alexander Koller)
Underspecified Semantics (Muskens, Reinhard)
On Underspecification (Pinkal, Manfred)
On Modeling Meaning Shifts by Relaxing Underspecified Semantic Representations (Kristina Striegnitz)
Reinterpretation from a synchronic and diachronic point of view (Markus Egg)
Tagging and Parsing with Cascaded Markov Models -- Automation of Corpus Annotation (Thorsten Brants)
Cascaded Markov Models (Thorsten Brants)
Proceedings of the Workshop on Linguistically Interpreted Corpora (LINC-99) (Thorsten Brants and Wojciech Skut and Hans Uszkoreit)
Incremental Probabilistic Models of Human Linguistic Performance. (Matthew Crocker and Thorsten Brants)
Probabilistic Parsing with Discontinuous
Phrase Structure Grammar (Oliver Plaehn)
Partial Parsing for corpus Annotation and Text Processing (Wojciech Skut)
Derivation and resolution of ambiguities in \em wieder-sentences (Markus Egg)
Figaro: Yet Another Constraint Programming Library (Martin Henz and Tobias Müller and Ka Boon Ng)
Simulating Boolean circuits by finite splicing (Katrin Erk)
Comparing Trailing and Copying for
Constraint Programming (Christian Schulte)
Scope Underspecification and Processing (Alexander Koller and Joachim Niehren)
Uniform Confluence in Concurrent Computation (Unabridged) (Joachim Niehren)
Parsing with Tree Descriptions: a constraint-based approach (Denys Duchier and Stefan Thater)
Axiomatizing Dependency Parsing Using Set Constraints (Denys Duchier)
Set Constraints in Computational Linguistics -- Solving Tree Descriptions (Denys Duchier)
Practical Investigation of Constraints with Graph Views (Tobias Müller)
Embedding Propagators in a Concurrent Constraint Language (Tobias Müller and Jörg Würtz)
Entailment of Atomic Set Constraints is PSPACE-Complete (Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Ein Debugger für Oz (Benjamin Lorenz)
The Oz Virtual Machine - Records, Transients, and
Deep Guards (Michael Mehl)
Entailment of Non-Structural Subtype Constraints (Joachim Niehren and Tim Priesnitz)
Constraint Languages for Semantic Underspecification (Alexander Koller)
Set-based Failure Analysis for Logic Programs and
Concurrent Constraint Programs (Andreas Podelski and Witold Charatonik and Martin
Müller)
Relaxing Underspecified Semantic Representations for
Reinterpretation (Alexander Koller and Joachim Niehren and Kristina
Striegnitz)
A Constraint-Based Treatment of Descriptions (Denys Duchier and Claire Gardent)
Efficient Logic Variables for Distributed Computing (Seif Haridi and Peter Van Roy and Per Brand and Michael Mehl
and Ralf Scheidhauer and Gert Smolka)
Uniform Confluence in Concurrent Computation (Joachim Niehren)
1998
A specification language for discourse (Patrick Blackburn and Claire Gardent)
Wh-questions in Underspecified Minimal Recursion
Semantics (Markus Egg)
Steuerung der Inferenz in der Diskursverarbeitung (Egg, Markus and Gardent, Claire and Kohlhase, Michael)
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)
Describing Discourse Semantics (Claire Gardent and Bonnie Webber)
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality (Manfred Kerber and Michael Kohlhase)
Evaluating context unification for semantic
underspecification (Koller, Alexander)
CHORUS: Semantische Verarbeitung mit beschränkter
Information (Manfred Pinkal et. al.)
Studien zur performanzorientierten Linguisitk. Aspekte der Relativsatzextraposition im Deutschen (Hans Uszkoreit and Thorsten Brants and Denys Duchier and Brigitte
Krenn and Lars Konieczny and Stephan Oepen and Wojciech Skut)
Underspecified Representation and Resolution of
Ellipsis (Xu, Feiyu)
Underspecified Treatment of Verb Phrase Ellipsis (Xu, Feiyu)
Estimating Hidden Markov Model Topologies (Thorsten Brants)
Automation of Treebank Annotation (Thorsten Brants and Wojciech Skut)
Studien zur performanzorientierten Linguisitk. Aspekte der Relativsatzextraposition im Deutschen (Hans Uszkoreit and Thorsten Brants and Denys Duchier and Brigitte
Krenn and Lars Konieczny and Stephan Oepen and Wojciech Skut)
Chunk Tagger -- Statistical Recognition of Noun Phrases (Wojciech Skut and Thorsten Brants)
A Maximum-Entropy Partial Parser for Unrestricted Text (Wojciech Skut and Thorsten Brants)
A Representation Scheme and Database for German
Support-Verb Constructions (Brigitte Krenn)
Acquisition of phraseological units from linguistically interpreted
corpora. A case study on German PP-verb collocations (Brigitte Krenn)
Design, Implementierung und Evaluierung einer virtuellen Maschine
für Oz (Ralf Scheidhauer)
Entailment of Atomic Set Constraints is PSPACE-Complete (Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Dominance Constraints: Algorithms and Complexity (Alexander Koller, Joachim Niehren, Ralf Treinen)
A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling (Denys Duchier and Leif Kornstaedt and Christian Schulte and Gert Smolka)
Futures and By-need Synchronization (Michael Mehl and Christian Schulte and Gert Smolka)
Set-based Failure Diagnosis for Concurrent
Constraint Programming (Martin Müller)
Type Inference for First-Class Messages with Feature Constraints (Martin Müller and Susumu Nishimura)
Scheduling a Major College Basketball Conference - Revisited (Martin Henz)
Off-Line Scheduling of a Real-Time System (Klaus Schild and Jörg Würtz)
Lösen kombinatorischer Probleme mit
Constraintprogrammierung in Oz (Jörg Würtz)
Programming Languages for Distributed Applications (Seif Haridi and Peter Van Roy and Per Brand and
Christian Schulte)
Concurrent Constraint Programming
Based on Functional Programming (Gert Smolka)
Dominance Constraints in Context Unification (Joachim Niehren and Alexander Koller)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic (Martin Müller and Joachim Niehren)
The First-Order Theory of Ordering Constraints over
Feature Trees (Martin Müller and Joachim Niehren and Ralf Treinen)
1997
Underspecification of quantifier scope (Egg, Markus and Kohlhase, Michael)
Dynamic control of quantifier scope (Egg, Markus and Kohlhase, Michael)
Sloppy Identity (Claire Gardent)
Computing parallelism in Discourse (Claire Gardent and Michael Kohlhase)
A Coloured Version of the $\lambda$-Calculus (Dieter Hutter and Michael Kohlhase)
Minimal logics for reasoning with ambiguous
expressions (Jaspars, Jan)
Dynamic Lambda Calculus (Michael Kohlhase and Susanna Kuschert)
Akkommodation bei Anaphernresolution? (Susanna Kuschert)
Das NEGRA-Annotationsschema (Thorsten Brants and Roland Hendriks and Sabine Kramp and Brigitte Krenn and Cordula Preis and Wojciech Skut and Hans Uszkoreit)
Annotating Unrestricted German Text (Wojciech Skut and Thorsten Brants and Brigitte Krenn and Hans Uszkoreit)
Internal and External Tagsets in Part-of-Speech Tagging (Thorsten Brants)
Tagging Grammatical Functions (Thorsten Brants and Wojciech Skut and Brigitte Krenn)
The NEGRA Export Format (Thorsten Brants)
An Annotation Scheme for Free Word Order Languages (Wojciech Skut and Brigitte Krenn and Thorsten Brants and Hans Uszkoreit)
A Parallel Abstract Machine for the Thread-Based
Concurrent Constraint Language Oz (Konstantin Popov)
Typed Concurrent Programming with Logic Variables (Martin Müller and Joachim Niehren and Gert Smolka)
Set-based Error Diagnosis of Concurrent Constraint Programs (Andreas Podelski and Witold Charatonik and Martin Müller)
Mobile Objects in Distributed Oz (Peter Van Roy and Seif Haridi and Per Brand and Gert
Smolka and Michael Mehl and Ralf Scheidhauer)
An Overview of the Design of Distributed Oz (Seif Haridi and Peter Van Roy and Gert Smolka)
Finite Set Constraints in Oz (Tobias Müller and Martin Müller)
Extending a Concurrent Constraint Language by
Propagators (Tobias Müller and Jörg Würtz)
Ordering Constraints over Feature Trees (Martin Müller and Joachim Niehren and Andreas
Podelski)
Programming Constraint Inference Engines (Christian Schulte)
Entailment of Set Constraints is not Feasible (Martin Müller and Joachim Niehren)
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)
Objects in Oz (Martin Henz)
Oz Explorer: A Visual Constraint Programming Tool (Christian Schulte)
Inclusion Constraints over Non-Empty Sets of Trees (Joachim Niehren and Martin Müller and Andreas
Podelski)
Constraint-Based Scheduling in Oz (Jörg Würtz)
1996
Aspect and quantification: an iterative approach (Egg, Markus)
Conditions on reinterpretations of aktionsart (Egg, Markus)
Anaphores parall`eles et Techniques de R'esolution (Claire Gardent)
Focus and Higher--Order Unification (Claire Gardent and Michael Kohlhase)
Higher--Order Coloured Unification and Natural
Language Semantics (Claire Gardent and Michael Kohlhase)
Corrections and Higher-Order Unification (Claire Gardent and Michael Kohlhase and Noor van Leusen)
A Resolution Calculus for Presuppositions (Manfred Kerber and Michael Kohlhase)
A Tableau Calculus for Partial Functions (Manfred Kerber and Michael Kohlhase)
A type-theoretic semantics for $\lambda$-DRT (Michael Kohlhase and Susanna Kuschert and Manfred Pinkal)
Vagueness, ambiguity, and underspecification (Pinkal, Manfred)
Wie die Semantik arbeitet. Ein unterspezifiziertes
Modell (Pinkal, Manfred)
Definition und Implementierung eines
Front-End-Generators für Oz (Leif Kornstaedt)
Problem Solving with Constraints and Programming (Gert Smolka)
Oz: Nebenläufige Programmierung mit Constraints (Martin Müller and Gert Smolka)
Interfacing Propagators with a Concurrent Constraint Language (Tobias Müller and Jörg Würtz)
Oz Scheduler: A Workbench for Scheduling Problems (Jörg Würtz)
COMPOzE --- Intention-based Music Composition through
Constraint Programming (Martin Henz and Stefan Lauer and Detlev Zimmermann)
Integrating Efficient Records into Concurrent Constraint
Programming (Peter Van Roy and Michael Mehl and Ralf Scheidhauer)
Constraint-based Time Tabling---A Case Study (Martin Henz and Jörg Würtz)
Constructive Disjunction Revisited (Jörg Würtz and Tobias Müller)
Smallest Horn Clause Programs (P. Devienne and P. Lebegue and A. Parrain and J.C. Routier
and J. Würtz)
Don't Be Puzzled! (Martin Henz)
Functional Computation as Concurrent Computation (Niehren, Joachim)
1995
Radical Underspecification (Pinkal, Manfred)
Situated Simplification (Andreas Podelski and Gert Smolka)
|