|
Electronically available papers and code
|
Comments on everything are welcome. I'm curious, so I'd
appreciate it if you would drop me a note in
case you download anything.
Publications |
Technical Reports |
Misc |
Slides |
Handouts
- Model Checking Secondary Relations
with Stephan Kepser and Uwe
Mönnich (Formal Grammar 2002, Gerhard Jäger, Paola Monachesi, Gerald Penn, and Shuly Wintner (eds.), pp. 65-75), 2002.
- A Regular Query for
Context-Sensitive Relations
with Uwe Mönnich and Stephan Kepser
(IRCS Workshop Linguistic Databases 2001, Steven Bird, Peter Buneman,
Mark Liberman (eds.), pp. 187-195),
2001.
- A Model-Theoretic Description of Tree Adjoining Grammars
with Uwe
Mönnich (Formal Grammar/MOL Conference 2001. To appear in
the Electronic Notes in Theoretical
Computer Science 53, Elsevier Science),
2001.
- An Operational and
Denotational Approach to Non-Context-Freeness
with Hans-Peter Kolb
and Jens
Michaelis and Uwe
Mönnich (To appear in a special issue of Theoretical
Computer Science, Elsevier Science),
200x.
- On Minimalist Attribute
Grammars and Macro Tree Transducers
with Jens
Michaelis and Uwe
Mönnich
(To appear in Linguistic Form and its Computation, Ch. Rohrer,
A. Rossdeutscher, H. Kamp (eds), CSLI), 200x.
- "Chart Parsing and
Constraint Programming"
(To appear in the Proceedings of Coling 2000 in Saarbrücken), 2000.
- "Derivational Minimalism in
Two Regular and Logical Steps"
with Jens
Michaelis and Uwe
Mönnich (To appear in the Proceedings of TAG+5, Paris), 2000.
- "Algebraic Description of
Derivational Minimalism"
with Jens
Michaelis and Uwe
Mönnich (To appear in the Proceedings of AMILP 2000, Iowa),
2000.
- "Descriptions of
Cross-Serial Dependencies"
with Hans-Peter Kolb and Uwe
Mönnich
(To appear in a special issue of Grammars), 2000.
- "Chart Parsing as
Constraint Programming"
(2 page abstract. Appears in the Proceedings of the IWPT 2000 in Trento), 2000.
- Regular Description of
Cross-Serial Dependencies
with Hans-Peter Kolb and Uwe Mönnich,
(Appears in the Proceedings of MOL 6 in Orlando, Florida), 1999.
- Logical Description of
Cross-Serial Dependencies
with Hans-Peter Kolb and Uwe Mönnich,
(Appears in the Proceedings of the Workshop Finite Model Theory and
its Applications at
FloC '99, Trento, Italy), 1999.
- "Monadic Second Order Logic, Tree Automata and Constraint Logic Programming"
(Draft of the paper which is to appear in The Mathematics of
Syntactic Structure by Uwe Mönnich and Hans-Peter Kolb,
199x. This is the revised version of the Technical Report with the same
name.)
- "The Logic-Automaton Connection in Linguistics"
with Tom Cornell,
(Appears in the Springer LNAI volume 1582 corresponding to the
Proceedings of the LACL-Conference 1997, Nancy, France),
1998.
- "Approximating Principles and Parameters Grammars with MSO Tree Logics"
with Tom Cornell
(4 page abstract. Appears in the Proceedings of the LACL-Conference 1997, Nancy, France),
1997.
- "Representing Constraints with Automata"
with Tom Cornell
(Appears in the Proceedings of the ACL/EACL Conference 1997, Madrid, Spain),
1997.
- "A Unification-Based ID/LP Parsing Schema"
(Appears in the Proceedings of the IWPT'95 in Prague), 1995.
The links "SFB 340-Report XX" refer to abstracts. The actual reports can be retrieved in different formats from the pages containing the abstracts.
- "Some Aspects of Natural Language Processing and Constraint Programming"
(SFB
340-Report 150), 2000.
The report is a collection of three papers by Philippe Blache, Gerald
Penn and Frank Morawietz:
- "Monadic Second Order Logic, Tree Automata and Constraint Logic Programming"
(SFB
340-Report 86), 1997.
This report contains a number of errors. A revised version to be
published in The Mathematics of Syntactic Structure by Uwe
Mönnich and Hans-Peter Kolb will be available soon.
- "On the Recognizability of Relations over a Tree definable in a
Monadic Second Order Tree Description Language"
with Tom Cornell
(SFB 340-Report 85), 1997.
- "Formalization and Parsing of Typed Unification-Based ID/LP Grammars"
(cmp-ling/9502020 or SFB 340-Report 68, with appendix), 1995.
- The paper.
-
The appendix of the paper. Contains the prolog code for the implementation.
- Postscript:
appendix.ps,
.gz
- DVI:
appendix.dvi,
.gz
- ASCII:
appendix.txt,
Pure commented Prolog code. If you want to understand what's going on,
have a look at the appendix.ps/.dvi files to get an explanation of the
datastructures involved.
- A bibtex-entry for the "Formalization and Parsing"-paper:
\bibtex-entry.bib
- Drafts
- Unpublished Manuscripts
- "An Alternative Approach to ID/LP: Precompilation of the LP rules
into the Lexicon", 1994
-
The paper
- The code for the implementations mentioned in the paper (ASCII)
- "An Alternative Approach to ID/LP
- SUP Grammars." with Detmar Meurers
(Paper presented at the 1st International Workshop on
Head-Driven Phrase Structure Grammar (Columbus,
Ohio)), 1993:
sup.ps,
sup.ps.gz
- On Semistructured Data and Linguistics
(Cymfony Inc.,
Buffalo, PDF Presentation), 2002.
- Capturing TAGs Model-Theoretically
(Workshop SFB 441 and
IRCS, Univercity of Pennsylvania, Philadelphia, PDF Presentation), 2002.
- Zwei Reguläre Schritte für mich; ein großer für die
Menschheit? Zweistufige Ansätze für Grammatikformalismen
(Uni Potsdam, Kolloquium Computerlinguistik, PDF Presentation), 2002.
- Semistructured Data and Linguistics
(Schloss Dagstuhl, Dagstuhl Seminar "Foundations of Semistructured
Data", PDF Presentation), 2001.
- Attribuierter Minimalismus
(Uni Tübingen, Potsdam-Tübinger Arbeitstreffen zur Daten-Problematik, 4up-Slides), 2000.
- An Operational and Denotational Account of Second-Order Substitution
(Uni Passau, Fakultätskolloquium Informatik, 4up-Slides), 2000.
- A Formal Approach to Non-Context-Free Phenomena
(Uni Passau, Kolloquium Allgemeine Linguistik, 4up-Slides), 2000.
- Algebraic Description of Derivational Minimalism
(AMILP 2000, Iowa City, 4up-Slides), 2000.
- Monadische Prädikatenlogik zweiter Stufe in der Linguistik
(CIS München, Kolloquium Computerlinguistik, 4up-Slides), 2000
- Minimalismus in zwei regulären und logischen Schritten
(CIS München, Oberseminar GK SIL, 4up-Slides), 2000.
- "L2K,P-based Constraint Logic
Programming"
(Workshop "The Mathematics of Syntactic
Structure" at the ESSLLI '96 in Prague, Slides), 1996.
- "A Unification-Based ID/LP Parsing Schema"
(International Workshop on Parsing Technologies in Prague,
Slides), 1995.
|