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
A Hybrid Indoor Navigation System
(Andreas Butz and Jörg Baus and Antonio Krüger and Marco Lohse)
Some Remarks on Automated Sketch Generation for Mobile Route Descriptions
(Baus, J. and Butz, A. and Krüger, A. and Lohse, M.)
Towards the visualization of path relations in multimodal route descriptions (in Druck)
(Baus, J. and Kray, C. and Krüger, A.)
Orts- und richtungsabhängige Informationspräsentation auf mobilen Geräten
(Andreas Butz and Antonio Krüger)
Two path prepositions: Along and past
(C. Kray and J. Baus and H. Zimmer and H. Speiser and A. Krüger)
REAL: Ein ressourcenadaptierendes mobiles Navigationssystem
(Wahlster, W. and Baus, J. and Kray, C. and Krüger, A.)
Die Selektion dimensionaler Präpositionen: automatisch und nicht ressourcenadaptierend
(Zimmer, H. and Speiser, H. and Baus, J. )
Critical features for the selection of verbal descriptions for path relations (in press)
(Zimmer, H. and Speiser, H. and Baus, J. and Krüger, A.)
Towards adaptive location-aware mobile assistants
(Baus, J. and Ding, Y. and Kray,C. and Walther, U.)
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)
Some Aspects of Scouting Smart Environments
(Jörg Baus and Andreas Butz and Antonio Krüger and Marco Lohse and Cyrille Breihof)
Smart Graphics: Papers from the 2000 AAAI Spring Symposium
(Andreas Butz and Antonio Krüger and Patrick Olivier (Ed.))
Smart Graphics in Adaptive Way Descriptions
(Antonio Krüger and Jörg Baus and Andreas Butz)
Incorporating a Virtual Presenter in a Resource Adaptive Navigational Help System
(Jörg Baus and Andreas Butz and Antonio Krüger)
Different Views on Location Awareness
(Andreas Butz and Jörg Baus and Antonio Krüger)
Decision-theoretic planning of navigation instructions
(Thorsten Bohnenberger and Andreas Butz)
Augmenting Buildings with Infrared Information
(Andreas Butz and Jörg Baus and Antonio Krüger)
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)
Das REAL Speech Interface
(Müller, Christian)
Underspecified Semantics
(Muskens, Reinhard)
On Underspecification
(Pinkal, Manfred)
Ein Java-basiertes System zum Ressourcenmanagement in
Anytime-Systemen
(Wittig, Frank)
Making systems sensitive to the user's time and working memory constraints
(Jameson, Anthony and Schäfer, Ralph and Weis, Thomas and Berthold, Andre and Weyrath, Thomas)
Making systems sensitive to the user's changing resource limitations
(Jameson, Anthony and Schäfer, Ralph and Weis, Thomas and Berthold, Andre and Weyrath, Thomas)
Interpreting symptoms of cognitive load in speech input
(Berthold, Andr'e and Jameson, Anthony)
Learning Bayesian networks with hidden variables for user modeling
(Großmann-Hutter, Barbara and Jameson, Anthony and Wittig, Frank)
Experimentelle Untersuchung von Spracheingaben unter kognitiver Belastung zur Benutzermodellbildung
(Großmann-Hutter, Barbara and Müller, Christian)
Benutzermodellierung mit dynamischen Bayes'schen Netzen als Grundlage adaptiver Dialogsysteme
(Schäfer, Ralph)
Piktogramme im öffentlichen Verkehr. Kognitive Voraussetzungen ihrer Interpretation
(Schmauks, Dagmar)
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)
An Experimental Hybrid User Interface for Collaboration
(Andreas Butz and Tobias Höllerer and Clifford Beshers and Steven Feiner and Blair MacIntyre)
One Way Interaction: interactivity over unidirectional links
(Jörg Baus and Andreas Butz and Antonio Krüger)
Enveloping Users and Computers in a Collaborative 3D Augmented Reality
(Andreas Butz and Tobias Höllerer and Steven Feiner and Blair MacIntyre and Clifford Beshers)
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)
VITRA: Verbalisierung visueller Information
(Herzog, Gerd and Blocher, Anselm and Gapp, Klaus-Peter
and Stopp, Eva and Wahlster, Wolfgang)
Reasoning without Believing: On the Mechanization of Presuppositions and Partiality
(Manfred Kerber and Michael Kohlhase)
Evaluating context unification for semantic
underspecification
(Koller, Alexander)
Ressourcenadaptierende Verfahren zur
Präzisionsbewertung von Lokalisationsausdrücken und zur
Generierung von linguistischen Hecken
(Kray, Christian)
CHORUS: Semantische Verarbeitung mit beschränkter
Information
(Manfred Pinkal et. al.)
GRATOR - Räumliches Schließen mit GRAdierten
TOpologischen Relationen über Punktmengen
(Rupp, Uwe)
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)
Ressourcenadaptierende Objektlokalisation: Sprachliche
Raumbeschreibung unter Zeitdruck
(Wahlster, Wolfgang and Blocher, Anselm and Baus, Joerg
and Stopp, Eva and Speiser, Harry)
SFB 378: Ressourcenadaptive Kognitive Prozesse
(Wahlster, Wolfgang and Tack, Werner)
Underspecified Representation and Resolution of
Ellipsis
(Xu, Feiyu)
Underspecified Treatment of Verb Phrase Ellipsis
(Xu, Feiyu)
The Use of Locative Expressions in Dependence of the
Spatial Relation between Target and Reference Object in Two-Dimensional
Layouts
(Zimmer, Hubert D. and Speiser, Harry R. and Baus, Joerg
and Blocher, Anselm and Stopp, Eva)
Schweigende Texte, sprechende Bilder
(Schmauks, Dagmar)
Adapting to the user's time and working memory limitations: New directions of research.
(Jameson, Anthony)
Themenheft ``Ressourcenadaptive kognitive Prozesse''
(Jameson, Anthony)
Rollenübernahme als Benutzermodellierungsmethode: Globale Antizipation in einem transmutierbaren Dialogsystem.
(Ndiaye, A.)
Repräsentation und Verarbeitung sprachlicher Indikatoren für kognitive Ressourcenbeschränkungen
(Berthold, A.)
Erkennung von Arbeitsgedächtnisbelastung und Zeitdruck in Dialogen -- Empirie und Modellierung mit Bayesschen Netzen
(Weyrath, Thomas)
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 Linguistically Interpreted Corpus of German Newspaper Text
(Wojciech Skut and Thorsten Brants and Brigitte Krenn and Hans Uszkoreit)
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)
Of Vampire Mirrors and Privacy Lamps: Privacy Management in Multi-User Augmented Environments [technote]
(Andreas Butz and Clifford Beshers and Steven Feiner)
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
Landkarten als synoptische Medien
(Schmauks, Dagmar)
Eselsbrücken - eine kognitive Merkstrategie im Alltag
(Schmauks, Dagmar)
ABIS-97, 5. GI-Workshop, Adaptivität und
Benutzermodellierung in interaktiven Softwaresystemen, 30.9 bis
2.10.1997, Saarbrücken
(Bauer, Mathias and Schäfer, Ralph (Ed.))
Spatial Information in Instructions and Questions to an
Autonomous System
(Blocher, Anselm and Stopp, Eva)
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)
Ein Modell für natürlichsprachlichen Zugang zu
autonomen Robotern
(Stopp, Eva)
Wie können Ressourcenbeschränkungen eines Dialogpartners erkannt und berücksichtigt werden
(Jameson, Anthony and Schäfer, Ralph and Weis, Thomas and Weyrath, Thomas)
Assessing temporally variable user properties with dynamic Bayesian networks
(Schäfer, Ralph and Weyrath, Thomas)
Resource-adaptive action planning in a dialogue system for repair support
(Weis, Thomas)
Wie gehen wir mit dem Arbeitsgedächtnis unserer Dialogpartner um? Eine Integration von Ergebnissen aus vier Forschungsrichtungen
(Jameson, Anthony )
Einschätzung von Zeitdruck und Arbeitsgedächtnisbelastung in ressourcenbeschränkten Dialogen: Eine explorative empirische Untersuchung
(Weyrath, Thomas)
Modeling the user's processing resources: Pragmatic simplicity meets psychological complexity
(Jameson, Anthony )
User Modeling. Proceedings of the Sixth International Conference (UM97)
(Jameson, Anthony )
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)
Zur Auswahl von Abstraktionsgraden
(Andreas Butz and Antonio Krüger)
Anymation with CATHI
(Andreas Butz)
Ein inkrementeller Ansatz zur Generierung informativer 3D-Animationen
(Andreas Butz)
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)
Objects for Concurrent Constraint Programming
(Henz, Martin)
Oz Explorer: A Visual Constraint Programming Tool
(Christian Schulte)
Situated Simplification
(Andreas Podelski and Gert Smolka)
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)
Processing Spatial Relations in Object Localization
Tasks
(Gapp, Klaus-Peter)
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)
How to Juggle Discourse Obligations
(Jameson, Anthony and Weis, Thomas)
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)
Natural Language Access to Intelligent Robots:
Explaining Automatic Error Recovery
(Längle, Thomas and Lüth, Tim C. and Stopp, Eva
and Herzog, Gerd)
Rollenübernahme in einem Dialogsystem
(Ndiaye, Alassane)
Vagueness, ambiguity, and underspecification
(Pinkal, Manfred)
Wie die Semantik arbeitet. Ein unterspezifiziertes
Modell
(Pinkal, Manfred)
Construction of Mental Images and their Use in a
Listener Model
(Stopp, Eva and Blocher, Anselm)
Die Rolle von Diskursverpflichtungen in
bewertungsorientierten Informationsdialogen
(Weis, Thomas)
Beschilderung zwischen Hilfe und Hindernis
(Schmauks, Dagmar)
Wandern als komplexe ressourcenbeschränkte Tätigkeit
(Schmauks, Dagmar)
Weg-, Wander- und Landschaftsmetaphern
(Schmauks, Dagmar)
Orts- und Richtungsangaben in Wanderführern. Eine linguistische Analyse
(Schmauks, Dagmar)
Räsonieren als kognitive Strategie. Das Identifizieren von unbekannten Artefakten und Zeichen
(Schmauks, Dagmar)
Zweigleisige Interaktionen - Typologie und Analyse
(Schmauks, Dagmar)
Vom Trampelpfad zum Internet: Orientierung in realen und virtuellen Räumen
(Schmauks, Dagmar)
Wege und Wegenetze als Wissensspeicher
(Schmauks, Dagmar)
Linearisierungsstrategien
(Schmauks, Dagmar)
Barrieren und ihre Überwindung. Zur semiotischen Struktur der Fortbewegung
(Schmauks, Dagmar)
Körpermetaphern und Organsprache: zwischen Linguistik und Psychosomatik
(Schmauks, Dagmar)
Von der Mappa mundi zur Klangweltkarte
(Schmauks, Dagmar)
Taktile Raumdarstellungen
(Schmauks, Dagmar)
Spuren und Wege. Information und Täuschung im Kontext der Fortbewegung
(Schmauks, Dagmar)
Semiotische Aspekte der Fortbewegung in Großflughäfen Teil I: Raumstruktur und Handlungsphasen
(Schmauks, Dagmar)
Semiotische Aspekte der Fortbewegung in Großflughäfen Teil II: Das Medienrepertoire bei der Planung und Durchführung von Flugreisen
(Schmauks, Dagmar)
Inferenzen über das Arbeitsgedächtnis eines Dialogpartners
(Jameson, Anthony )
Special double issue on ``Numerical Uncertainty Management in User and Student Modeling''
(Jameson, Anthony)
Lean Modeling - The intelligent use of geometrical abstraction in 3D animations
(Andreas Butz and Antonio Krüger)
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)
Ressourcenadaptive Dialogführung: ein interdisziplinärer Forschungsansatz
(Wahlster, Wolfgang and Jameson, Anthony and Ndayie, Alassane and Schäfer, Ralph and Weis, Thomas )
BETTY: Ein System zur Planung und Generierung informativer Animationssequenzen
(Andreas Butz)
Situated Simplification
(Andreas Podelski and Gert Smolka)
1994
Betty: Planning and Generating Animations for the Visualization of Movements and Spatial Relations
(Andreas Butz)
| 
