Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Veröffentlichungen in der Reihe CIS-Berichte

2003
Hristo Ganchev; Stoyan Mihov; Klaus U. Schulz (2003)
How to Reduce k Tapes to One
CIS-Bericht-03-133

Stoyan Mihov; Klaus U. Schulz (2003)
Fast Approximate Search in Large Dictionaries
CIS-Bericht-03-132

Christian Strohmaier; Klaus U. Schulz (2003)
Lexical Postcorrection of OCR-Results: The Web as a Dynamic Secondary Dictionary
CIS-Bericht-03-131

2002

2001


Klaus U. Schulz; Stoyan Mihov (2001)
Fast String Correction with Levenshtein-Automata
CIS-Bericht-01-127

2000
R. Readi Nasser (2000)
A Note on First Order Unification
CIS-Bericht-00-126

Klaus U. Schulz; Holger Meuss (2000)
Complete Answer Aggregates for Answer Mappings to Sequence, Tree and Graph Databases
CIS-Bericht-00-125

1999
R. Readi Nasser (1999)
mj-Prolog
CIS-Bericht-99-124

Christian Strohmaier; Holger Meuss (1999)
A Filter for Structured Document Retrieval
CIS-Bericht-99-123


Stefan Wilke (1999)
Anaphernresolution mit beschränkten Parametern
CIS-Bericht-99-121

Foto Afrati; Hans Leiß; Michel de Rougemont (1999)
Definability and Compression
CIS-Bericht-99-120


1998
Stephan Kepser (1998)
Combination of Constraint Systems 
CIS-Bericht-98-118

Martin Emms (1998)
A Flexible Parsing Environment for English VP's and NP's 
CIS-Bericht-98-117

Martin Emms (1998)
Tag Disambiguation Strategies for an English Lexicon 
CIS-Bericht-98-116

Martin Emms (1998)
Automatic and Machine Assisted Lexicon Extension 
CIS-Bericht-98-115

Manfred Schmidt-Schauß; Klaus U. Schulz (1998)
Solvability of Context Equations with two Context Variables is Decidable 
CIS-Bericht-98-114

Holger Sturm (1998)
A complete axiomization for MLW1
CIS-Bericht-98-113

Holger Meuss; Klaus U. Schulz (1998)
Complete Answer Aggregates for Structured Document Retrieval
CIS-Bericht-98-112

Andreas Edmüller (1998)
Diskursrepräsentationstheorie und intensionale Kontexte
CIS-Bericht-98-111


Ingeborg Blank (1998)
Computerlinguistische Analyse mehrsprachiger Fachtexte
CIS-Bericht-98-109

1997
Klaus U. Schulz (1997)
BILEDITA 
CIS-Bericht-97-108

Hans Leiß (1997)
Typsysteme funktionaler Programmiersprachen Teil 1 
CIS-Bericht-97-107


Patrick Stein (1997)
Verbesserung von Suchindizes im WorldWideWeb 
CIS-Bericht-97-105

Holger Sturm (1997)
Modale Fragmente von LW und LWW1
CIS-Bericht-97-104

Franz Baader; Klaus U. Schulz (1997)
Unification Theory - An Introduction
CIS-Bericht-97-103

1996
Klaus U. Schulz; Tomek Mikolajewski (1996)
Between Finite State and Prolog: Constraint-Based Automata for Efficient Recognition of Phrases
CIS-Bericht-96-102


Franz Guenthner (1996)
Electronic Dictionaries and Corpora at the CIS
CIS-Bericht-96-100


Jürgen Oesterle (1996)
Recognition of Noun-Phrases in German
CIS-Bericht-96-98

Stefan Langer; Petra Maier; Jürgen Oesterle (1996)
CISLEX - An Electronic Dictionary for German: Its Structure and a Lexicographic Application
CIS-Bericht-96-97; Proceedings of COMPLEX '96 S.155-164

Karsten Wenger (1996)
Vorschlagsgenerierung und Eliminierung von Sackgassen in DCGs
CIS-Bericht-96-96


Stefan Langer (1996)
Selektionsklassen und Hyponymie im Lexikon
Semantische Klassifizierung von Nomina für das elektronische Wörterbuch CISLEX CIS-Bericht-96-94 (Dissertation, 1996)

Franz Guenthner; Elizabeth Klobusicky-Mailänder (1996)
Vernetzte Kommunikation und Tutorensysteme im interkulturellen Austausch
CIS-Bericht-96-93

Jäger, G (1996)
Topics in Dynamic Semantics
CIS-Bericht-96-92

Klaus U. Schulz; Stephan Kepser (1996)
UNIF 96, Extended Abstracts of the Tenth International Workshop on Unification
CIS-Bericht-96-91

Franz Baader; Klaus U. Schulz (1996)
Combination of Constraint Solvers for Free and Quasi-Free Structures
CIS-Bericht-96-90, auch erschienen in: Theoretical Computer Science, 192 (1988) pp. 107-161.

Hans Leiß (1996)
Bounded Fixed-Point Definability and Tabular Recognition of Languages
CIS-Bericht-96-89 Published in: Proceedings Computer Science Logic, CSL'95, Springer LNCS 1092.


Niebergall, K.-G. (1996)
Zur Metamathematik nichtaxiomatisierbarer Theorien
CIS-Bericht-96-87

Klaus U. Schulz; Stephan Kepser (1996)
Combination of Constraint Systems II: Rational Amalgamation
CIS-Bericht-96-86

1995
Franz Baader; Klaus U. Schulz (1995)
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
CIS-Bericht-95-120

Leila Behrens (1995)
Lexical Rules Cross-Cutting Inflection and Derivation
CIS-Bericht-95-85

Petra Maier (1995)
Lexikon und automatische Lemmatisierung
CIS-Bericht-95-84

Karsten Wenger (1995)
Einführung in die Computerlinguistik
CIS-Bericht-95-83

1994
Franz Baader; Klaus U. Schulz (1994)
On the Combination of Symbolic Constraints, Solution Domains, and Constraint Solvers
CIS-Bericht-94-82

Volker Halbach (1994)
Tarski-Hierarchien
CIS-Bericht-94-81

Klaus U. Schulz (1994)
Constraints for Lists and Theories of Concatenation
CIS-Bericht-94-80

Ulrich Schatz (1994)
Bidirektionale Sprachverarbeitung mit Unifikationsgrammatiken
CIS-Bericht-94-79


Leila Behrens (1994)
Alternationen - ein Schlüssel für die Universalienforschung
CIS-Bericht-94-77

Franz Guenthner; Petra Maier (1994)
Das CISLEX Wörterbuchsystem
CIS-Bericht-94-76

Franz Baader; Klaus U. Schulz (1994)
Combination of Constraint Solving Techniques: An Algebraic Point of View
CIS-Bericht-94-75

Robert F. Stärk (1994)
A General Semiunification Algorithm and its Correctness Proof
CIS-Bericht-94-74


Burkhard Wittek (1994)
Konzeptuelles Design der MTU-Datenbank
CIS-Bericht-94-72

Hans Leiß (1994)
Formale Sprachen und Automaten
CIS-Bericht-94-71

Leila Behrens (1994)
Lexikon-Design III
CIS-Bericht-94-70

Leila Behrens (1994)
Leila Lexikon-Design II
CIS-Bericht-94-69

Leila Behrens (1994)
Lexikon-Design I
CIS-Bericht-94-68

Stefan Langer (1994)
Un système d' acquisition lexicale pour le projet KOMBE
CIS-Bericht-94-67

1993
Robert F. Stärk (1993)
Input/output dependencies of normal logic programs
CIS-Bericht-93-66

Franz Baader; Klaus U. Schulz (1993)
Combination Techniques and Decision Problems for Disunification
CIS-Bericht-93-65

1992
Leila Behrens (1992)
Metaphern, Metonymien und Selektionsbeschränkungen
CIS-Bericht-92-64

Leila Behrens (1992)
Klassifizierung von Abstrakta
CIS-Bericht-92-63

Leila Behrens (1992)
Lexikalische Ambiguität und Disambiguierung im Kontext der Maschinellen Übersetzung
in: Lutzeier, P.R. (Hrsg.) Akten der Tagung Wortfeldtheorie, München 29.-31. Juli 1991 CIS-Bericht-92-62,

Christoph Draxler (1992)
A Powerful Prolog to SQL Compiler
CIS-Bericht-92-61

Anne Lehrndorfer (1992)
Simplified English von AECMA - Beschreibung und Diskussion
CIS-Bericht-92-60


Franz Baader; Klaus U. Schulz (1992)
General A- and AX-Unification via Optimized Combination Procedures
CIS-Bericht-92-58

Jörg Hudelmaier (1992)
A Decision Procedure for Intuitionistic Propositional Logic
in: Journal of Logic and Computation CIS-Bericht-92-57

Franz Guenthner (1992)
CIS Jahresbericht 1990 - 1991
CIS-Bericht-92-56

Franz Guenthner; Stefan Langer; Karin Krüger-Thielmann; Robert Pasero; Nathalie Richardet; Paul Sabatier (1992)
KOMBE. Communication Aids for the Handicapped
CIS-Bericht-92-55

Klaus U. Schulz (1992)
Word Equations: Proceedings of the October 1990 Workshop
CIS-Bericht-92-54

Alain Colmerauer (1992)
Naive Solving of Non-linear Constraints
CIS-Bericht-92-53

Wojciech Buszkowski (1992)
Philosophy of Language and Logic
CIS-Bericht-92-52

Kuniaki Mukai (1992)
Hyperset Constraints
CIS-Bericht-92-51

Franz Guenthner (1992)
Papiere aus dem DFG-Projekt
CIS-Bericht-92-50

Matilde Celma; Juan Carlos Casamayor (1992)
A Derivation Path Recording Method for Integrity Checking in Deductive Databases
CIS-Bericht-92-49

1991
Hans Leiß (1991)
Combining Dynamic and Recursive Types
Published in: Proceedings TLCA'93, Typed Lambda Calculus and Applications. Springer LNCS 664 CIS-Bericht-92-48

Hans Leiß (1991)
µ-Regular Algebra
CIS-Bericht-91-47

Klaus U. Schulz (1991)
Word Unification and Transformation of Generalized Equations
CIS-Bericht-91-46

Dov M. Gabbay; Klaus U. Schulz (1991)
Logic Finite Automata and Constraint Logic Finite Automata
CIS-Bericht-91-45


Hans Leiß; Fritz Henglein (1991)
A Decidable Case of the Semi-Unification Problem
CIS-Bericht-91-43

Stefan Wilcke (1991)
Formale Grammatiken als Logikkalküle
CIS-Bericht-91-42

Andreas Edmüller (1991)
Eine Davidsonsche Semantik für die Diskurs-Repräsentationstheorie
CIS-Bericht-91-41


Klaus U. Schulz (1991)
Makanin's Algorithm - Two Improvements and a Generalization
CIS-Bericht-91-39

Christoph Lehner (1991)
Linguistic Information-Structuring in Prolog III
CIS-Bericht-91-38


Godehard Link (1991)
First Order Axioms for the Logic of Plurality
CIS-Bericht-91-36

1990

Hans Leiß (1990)
On Kilbury's Modification of Earley's Algorithm
CIS-Bericht-90-34, erschienen in ACM Transactions on programming Languages and Systems, Vol. 12, No. 4, 1990, 610--640

Karsten Wenger (1990)
Ein Expertensystem für das Arbeitsförderungsgesetz
CIS-Bericht-90-33; in Computer und Recht, 1990, 12, 801-805

Jörg Hudelmaier (1990)
A Decision Procedure for Intuitionistic Propositional Logic
CIS-Bericht-90-32, in Logic and Computation

Ulrich Schatz; Christoph Lehner (1990)
Implementation of the Comprehensive Unification Formalism
CIS-Bericht-90-31

Gerd Döben (1990)
Lernende Systeme
CIS-Bericht-90-30

Arthur Merin (1990)
Wertvolle Ladenhüter der modernen linguistischen Semantik
CIS-Bericht-90-29

Arthur Merin (1990)
Imperatives: Linguistics vs. Philosophy
CIS-Bericht-90-28, in Linguistics

Hans Leiß (1990)
A Note on Compton's Preservation Theorems
CIS-Bericht-90-27

Hans Leiß (1990)
Polymorphic Constructs in Natural and Programming Languages
CIS-Bericht-90-26, in Proceedings JELIA 1990, Springer Verlag.

Christoph Lehner (1990)
Constraint Logic Programming for Natural Language Analysis I
CIS-Bericht-90-25


Dov M. Gabbay (1990)
Elements of Algorithmic Proof
CIS-Bericht-90-23

Dov M. Gabbay (1990)
Labelled Deductive Systems, Part I
CIS-Bericht-90-22

Leila Behrens (1990)
Bemerkungen zu semantischen Merkmalen
CIS-Bericht-90-21

Leila Behrens (1990)
Bemerkungen zur Aspektklassifizierung
CIS-Bericht-90-20

Leila Behrens; Andrea Förtsch (1990)
Semantics in METAL (Disambiguation, Semantic features, PP Semantics)
CIS-Bericht-90-19

Leila Behrens (1990)
Disambiguierungsstrategien
CIS-Bericht-90-18

Leila Behrens; Heike Winhart (1990)
Lexikalische Disambiguierung in METAL, 2. Teil -- Nomina
CIS-Bericht-90-17


Petra Maier (1990)
Mathematische Grundlagen der Situations-Semantik
CIS-Bericht-90-15


Marcus Brown; Elisabeth Maier (1990)
A Goal-Oriented Treatment of Text Structures in Text Planning
CIS-Bericht-90-13

Hans Tillmann; Max Hadersbeck; Hans Georg Piroth; Barbara Eisen (1990)
Development and Experimental Use of PHONWORK, A New Phonetic Work Bench
CIS-Bericht-90-12, in International Conference on Spoken Language Processing, Kobe (Japan), 1990

Hans Tillmann; Max Hadersbeck (1990)
Max Speech understanding systems: Development of a system for phonetic segmentation and transcription (PST)
CIS-Bericht-90-11, auch in: Institut für Phonetik und sprachliche Kommunikation der Universität München, Forschungsberichte 28 (1990)

Manfred Krifka; Karsten Wenger (1990)
Graduierung und Dimension
CIS-Bericht-90-10, erschienen in Linguistische Berichte, 1990, 478--504.

Wolfgang Kreitmair (1990)
Linguistische Merkmaltheorien und ihre Implementierung
CIS-Bericht-90-9



Petra Maier (1990)
Hinweise zur Arbeit mit dem Prolog II+-Compiler
CIS-Bericht-90-6

Colette Colmerauer (1990)
Une grammaire des rapports financiers du journal Le Monde
CIS-Bericht-90-5

Jörg Hudelmaier (1990)
A Decision Procedure for Propositional N-PROLOG
CIS-Bericht-90-4, in P. Schroeder-Heister (Hrsg.) Extensions of Logic Programming, Springer Verlag.

Jörg Hudelmaier (1990)
Bounds for Cut Elimination for Propositional Intuitionistic Logic
CIS-Bericht-90-3, erschienen im Archive for Mathematical Logic, 1991.

Franz Guenthner (1990)
Features and Values 1988
CIS-Bericht-90-2, in J. Wedekind & C. Rohrer (Hrsg.) Unification Formalisms, MIT Press

Franz Guenthner (1990)
Computerlinguistik: `A Personal View''
CIS-Bericht-90-1 in Festschrift für David Reibel, Tübingen