SfS Logo Seminar für Sprachwissenschaft
Universität Tübingen

English Theoretische Computerlinguistik

Sekretariat
Projekte
Mitarbeiter
Stellenangebote
 
Allgemeine Sprachwissenschaft / Computerlinguistik
Allgemeine und Theoretische Sprachwissenschaft
Theoretische Computerlinguistik
SfS
SFB 340 Teilprojekt A 8

1995-1997 Syntaktische Domänen für die Grammatiktheorie und die maschinelle Verarbeitung natürlicher Sprache
1998-2000 Operationale und deklarative Semantik grammatischer Systeme:
Das Spannungsverhältnis zwischen Ableitung und logischer Charakterisierung linguistischer Strukturen


Mitarbeiter / Arbeitsberichte / Veröffentlichungen / Dissertationen


Mitarbeiter




Anträge und Ergebnisberichte

Antrag 1995
Ergebnisbericht 1997
Antrag 1998
Ergebnisbericht 2000




Arbeitsberichte des SFB 340

1995 Nr. 68 Morawietz, F.: Formalization and Parsing of Typed Unification Based ID/LP Grammars Bibtex
1996 Nr. 72 Rogers, J.: Capturing Linguistic Theories Model-Theoretically Bibtex
  Nr. 79 Cornell, T.: A Minimalist Grammar for the Copy Language Bibtex
  Nr. 80 Grefe, C. & Kracht, M.: Adjunction Structures and Syntactic Domains Bibtex
1997 Nr. 83 Cornell, T.: Representational Minimalism Bibtex
  Nr. 85 Morawietz, F. & Cornell, T.: On the Regocnizability of Relations over a Tree Definable in a Monadic Second Order Tree Description Language Bibtex
  Nr. 86 Morawietz, F.: Monadic Second Order Logic, Tree Automata and Constraint Logic Programming Bibtex
  Nr. 92 Palm, A.: The Expressivity of Tree Languages Bibtex
  Nr. 110 Kolb, H.-P.: GB Blues: Two Essays on Procedures and Structures in Generative Syntax Bibtex
  Nr. 111 Mönnich, U.: Zur bereichstheoretischen Semantik von Grammatikformalismen. Bibtex
  Nr. 113 Kolb, H.-P.: Macros for Minimalism: Towards Weak Descriptions of Strong Structures Bibtex
  Nr. 114 Mönnich, U.: On Cloning Context-Freeness Bibtex
  Nr. 118 Hiller, M.: Baumzulassung ist kontextfrei Bibtex
2000 Nr. 150 Morawietz, F. (Ed.): Some Aspects of Natural Language Processing and Constraint Programming Bibtex
    Blache, P. und Morawietz, F.: A Non-Generative Constraint-Based Formalism Bibtex
    Morawietz, F.: Chart Parsing as Constraint Propagation Bibtex
    Penn, G.: Applying Constraint Handling Rules to HPSG Bibtex


Eine Liste aller Reports des SFB 340 findet sich hier.


Veröffentlichungen

Cornell, T.:
Model-Theoretic Syntax (GLOT International 2(1/2), 1996). Bibtex
Cornell, T.:
"A Type-Logical Perspective on Minimalist Derivations" (Proceedings of the Formal Grammar Conference, Aix-en-Provence, August 1997). Bibtex
Cornell, T.:
Island Effects in Type Logical Approaches to the Minimalist Program (Proceedings of the Formal, Head-Driven and Categorial Grammar Conference, Saarbrücken, 1998). Bibtex
Cornell, T.:
Representational Minimalism ( The Mathematics of Syntactic Structure, Studies in Generative Grammar 44, Mouton de Gruyter, 1999) Bibtex
Cornell, T.:
Derivational and Representational Views of Minimalist Transformational Grammar (in den Proceedings der LACL Konferenz, LNAI 1582, Springer, 1999). Bibtex
Cornell, T.:
Parsing and Grammar Engineering with Tree Automata ( in den Proceedings des Workshops AMILP 2000 in Iowa, 2000). Bibtex
Kolb, H.-P., Mönnich, U. und Morawietz, F.:
Regular Description of Cross-Serial Dependencies (in den Proceedings der MOL 6 Konferenz, 1999). Bibtex
Kolb, H.-P. und Mönnich, U.:
The Mathematics of Syntactic Structure: Trees and their Logics (Studies in Generative Grammar 44, Mouton de Gruyter, 1999). Bibtex
Kolb, H.-P.:
Macros for Minimalism? Towards Weak Descriptions for Strong Structures (The Mathematics of Syntactic Structure, Studies in Generative Grammar 44, Mouton de Gruyter, 1999). Bibtex
Kolb, H.-P., Mönnich, U. und Morawietz, F.:
A Logical Description of Cross-Serial Dependencies ([extended abstract] in den Proceedings des Workshops Finite Model Theory and its Applications der Konferenz FLoC '99, 1999). Bibtex
Kolb, H.-P., Mönnich, U. und Morawietz, F.:
Descriptions of Cross-Serial Dependencies (in Grammars 3(2/3), pp. 189 - 216, 2000). Bibtex
Kolb, H.-P., Michaelis, J., Mönnich, U. und Morawietz, F.:
An Operational and Denotational Approach to Non-Context-Freeness (erscheint in Theoretical Computer Science). Bibtex
Kühnberger, K.-U.:
Remarks on the Complexity of Truth (in den Proceedings von Foundations of the Formal Sciences II, in Press). Bibtex
Michaelis, J., Mönnich, U. und Morawietz, F.:
Algebraic Description of Derivational Minimalism (in den Proceedings des Workshops AMILP 2000 in Iowa, 2000). Bibtex
Michaelis, J., Mönnich, U. und Morawietz, F.:
Derivational Minimalism in Two Regular and Logical Steps (in den Proceedings des Workshops TAG+5 in Paris, 2000). Bibtex
Michaelis, J., Mönnich, U. und Morawietz, F.:
On Minimalist Attribute Grammars and Macro Tree Transducers (erscheint in einem CSLI Band zur internationalen Tagung des SFB 340 Linguistic Form and its Computation in Bad Teinach). Bibtex
Mönnich, U.:
Adjunction as Substitution (Proceedings of the Formal, Head-Driven and Categorial Grammar Conference, Saarbrücken, 1998). Bibtex
Mönnich, U.:
TAGs M-constructed (TAG+ 4th Workshop, Philadelphia, 1998).
Mönnich, U.:
On Cloning Contextfreeness (The Mathematics of Syntactic Structure, Studies in Generative Grammar 44, Mouton de Gruyter, 1999). Bibtex
Morawietz, F.:
A Unification-Based ID/LP Parsing Schema (Proceedings of the International Workshop on Parsing Technologies, ACL/SIGPARSE, 1995, pp. 162-173). Bibtex
Morawietz, F. und Cornell, T:
Representing Constraints with Automata (Erscheint in: Proceedings of the ACL/EACL '97, 1997). Bibtex
Morawietz, F. und Cornell, T.:
The Logic-Automaton Connection in Linguistics (in den Proceedings der LACL Konferenz, LNAI 1582, Springer, 1999).
Bibtex
Morawietz, F.:
MSO Logic, Tree Automata and CLP (in: H.-P. Kolb und U. Mönnich (Hrsg.) The Mathematics of Syntactic Structure. Trees and their Logics, Mouton de Gruyter, Studies in Generative Grammar 44, 1999). Bibtex
Morawietz, F.:
Chart Parsing as Constraint Programming (in den Proceedings des IWPT 2000). Bibtex
Morawietz, F.:
Chart Parsing and Constraint Programming (in den Proceedings der Konferenz Coling 2000). Bibtex



Dissertationen

Kühnberger, K.-U.:
Frameworks for Circular Phenomena. Possibilities of Modeling Pathological Expressions in Formal and Natural Languages (2001). Bibtex
Michaelis, J.:
On Formal Properties of Minimalist Grammars (2001). Bibtex

Letzte Änderung: 31.03.2001 14:27 (MEST)
Lisa Tiyamiyu (tiyamiyu@sfs.uni-tuebingen.de) und Frank Morawietz (frank@sfs.uni-tuebingen.de)