SFB 378 Home Area C staff Area C description Deutsche Version SFB 378 contact

C
NEP
LISA
NEGRA
CHORUS

Publications in area C: Berechnung

Search Terms
Boolean Case

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)


SFB 378 Home Area C staff Area C description Deutsche Version SFB 378 contact