Dr. Hans Leiß

Im Ruhestand seit 31.3.2017

Privatadresse: Bereiter Anger 10, 81541 München
Kontakt: h.leiss (at) gmx.de

Interessengebiete

Reguläre Algebra und Formale Sprachen
Grammatiken, Syntaxanalyse, Parsergeneratoren
Typentheorie und Funktionales Programmieren
Berechenbare Semantik natürlicher Sprachen

Projekte und Programme

Suche in komprimierten Daten (DAAD, Procope)
Finite Automata Library for Standard ML (22.1.2010: adapted to changes in SMLNJs PrettyPrint)
Standard ML with polymorphic recursion
Semiunifikation und allgemeinste Induktionsbeweise (Deduktion, DFG)
New Hardware Design Methods (NADA, Esprit)
Dynamic Interpretation of Natural Language (Dyana-2, Esprit)
Foundations of Functional and Logic Programming (Gentzen, Esprit)

Ausgewählte Arbeiten

In preparation: The Grammar of German in the Grammatical Framework (Draft, Jan.25, 2024)

An Algebraic Representation of the Fixed-Point Closure of *-Continuous Kleene Algebras -- A Categorical Chomsky-Schützenberger-Theorem Mathematical Structures in Computer Science, Special Issue in Homage to Martin Hofmann, 2022 (accepted manuscript). The final publication is available from Cambridge University Press under https://doi.org/10.1017/S0960129522000329
Coequalizers and Tensor Products for Continuous Idempotent Semirings. In: Proc. 17th Conf. on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, Springer LNCS 11194, pp. 37--52. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-02149-8_3
C-Dioids and mu-Continuous Chomsky-Algebras. In: Proc. 17th Conf. on Relational and Algebraic Methods in Computer Science, RAMiCS 2018, Springer LNCS 11194, pp. 21--36. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-030-02149-8_2 Slides of a seminar talk, LMU 22.6.2018
Type Reconstruction for Lambda-DRT Applied to Pronoun Resolution (with Shuqian Wu). Final version in: Proc. 20th Conf. on Logical Aspects of Computational Linguistics, LACL 2016, Nancy, Springer LNCS 10054, pp.149--174, available via http://dx.doi.org/10.1007/978-3-662-53826-5_10
The Matrix Ring of a mu-Continuous Chomsky-Algebra is mu-Continuous. J.Talbot, L.Regnier (Eds.) Proc. 25th EACSL Annual Conference on Computer Science Logic (CSL 2016). ISBN 978-3-95977-022-4, LIPICS Vol. 62
On Equality of Contexts and Completeness of the Indexed Epsilon-Calculus. Proceedings of the Workshop Epsilon 2015, Montpellier. Journal of Logic and Applications, 2016.
Learning Context-Free Grammars with the Finite Context Property. A Correction of A.Clark's Algorithm. Proceedings Formal Grammar 2014, Springer LNCS 8612, p.121-131, 2014.
Resolving Plural Ambiguities by Type Reconstruction. Proceedings Formal Grammar 2011, Ljubljana, Springer LNCS 7395, p.267-286, 2012.
To CNF or not to CNF? An Efficient Yet Presentable Version of the CYK Algorithm (with Martin Lange). Informatica Didactica 8, 2009.
The proper treatment of coordination in Peirce grammar. Proceedings Workshop on Formal Grammar/Mathematics of Language '05, Edinburgh 2005. CSLI Publications, 2005
Kleene Modules and Linear Languages. Journal of Logic and Algebraic Programming, Vol 66/2 (2006), 185-194. DOI information: 10.1016/j.jlap.2005.04.004
Algebraically complete semirings and Greibach normal form (with Zoltan Esik). Annals of Pure and Applied Logic 133 (2005), 173--203.
Automata on Lempel-Ziv Compressed Strings (with Michel de Rougemont). Proceedings CSL 2003, Wien, Aug. 2003. Springer LNCS 2803, pp 384--396. (Slides of the talk)
Greibach Normal Form in Algebraically Complete Semirings (with Zoltan Esik). BRICS Report Series RS-02-46, Dec. 2002, 43 pages. ISSN 0909-0878.
Kleenean Semimodules and Linear Languages. Extended Abstract in: Z.Esik and A.Ingolfsdottir (eds.) Preliminary Proceedings of the Workshop on Fixed Points in Computer Science, FICS '02, (Copenhagen, Denmark, July 20 and 21, 2002), June 2002.
Greibach Normal Form in Algebraically Complete Semirings (with Zoltan Esik). Proceedings CSL 2002, Edinburgh, Sept. 2002. Springer LNCS 2471, pp. 135-150.
Zweitstufige Prälogische Relationen und Repräsentationsunabhängigkeit. CIS-Bericht-01-127, März 2001. (Erweiterte Fassung der veröffentlichten englischen Version.)
Second-Order Pre-Logical Relations and Representation Independence. Proceedings TLCA 2001, Krakow, May 2-5, 2001. Springer LNCS 2044. Copyright by Springer-Verlag, 2001.
Definability and Compression (with Foto Afrati and Michel de Rougemont). Tech.Report (October 1999). Final version in: Proceedings of 15th Annual IEEE Symposium on Logic in Computer Science, Santa Barbara, CA. LICS 2000. IEEE Computer Society
Extending the Type Checker of SML by Polymorphic Recursion (with Martin Emms). Theoretical Computer Science 212 (1999), 157-181.
(Copyright does not permit to make this publicly accessible, but I can send a copy on request.)
Extending the Type Checker of SML by Polymorphic Recursion --
A Correctness Proof (with Martin Emms). CIS-Bericht-96-101.
Bounded Fixed-Point Definability and Tabular Recognition of Languages.
Proceedings CSL'95, Springer LNCS 1092, http://dx.doi.org/10.1007/3-540-61377-3_50
Combining Dynamic and Recursive Types. Proceedings TLCA'93, Springer LNCS 664, http://dx.doi.org/10.1007/BFb0037111
Towards Kleene Algebra with Recursion. Proceedings CSL'91, Springer LNCS 626

Vorlesungen und Seminare

Wintersemester 2016/17

Syntax natürlicher Sprachen. Vorlesung 2Std, Mi 14-16, Oe67, B101, Tafelübung 2Std, Di 10-12, Oe67 U151
Formale Sprachen. Vorlesung 2Std Di 14-16, Oe67, BU101, mit Tafelübung 2Std, Do 14-16, Oe67, U151

Sommersemester 2016

Logik und modelltheoretische Semantik" Vorlesung Di 14-16, 151, + Tafelübung Do 16-18, 151
Erweiterungsmodul CL: Berechenbare Semantik. VL Mi 14-16, 131 + Tü Do 14-16, 131
WP 6 Seminar Algorithmische und formale Aspekte II, Mi 12-14, C003 (ggf. als Blockseminar).

Frühere Semester

Syntax natürlicher Sprachen. Vorlesung 2Std, mit Tafelübung 2Std, WiSe 2015/16
Formale Sprachen. Vorlesung 2Std mit Tafelübung 2Std, WiSe 2015/16
WPCom 3 Seminar Algorithmische und formale Aspekte I b. Seminar 2Std, WiSe 2015/16

WPCom 6 Seminar Algorithmische und formale Aspekte II. Seminar 2Std (ausgefallen)
Logik und modelltheoretische Semantik. Vorlesung 2Std + Tafelübung 2Std, SoSe 2015
Erweiterungsmodul CL: Berechenbare Semantik. VL 2Std + Tü 2Std, SoSe 2015

Syntax natürlicher Sprachen. Vorlesung 2Std + Tafelübung (mit D.Kaumanns) 2Std, WiSe 2014/15
Formale Sprachen. Vorlesung 2Std + Tafelübung 2Std, WiSe 2014/15
Multilinguale Grammatiken im "Grammatical Framework" (PCom 6). Vorlesung 2Std + Übung 1Std, WiSe 2014/15

WPCom 6 Seminar Algorithmische und formale Aspekte II. Seminar 2Std, SoSe 2014
Logik und modelltheoretische Semantik. Vorlesung 2Std + Tafelübung 2Std, SoSe 2014
Erweiterungsmodul CL: Berechenbare Semantik. VL 2Std + Tü 2Std, SoSe 2014

Syntax natürlicher Sprachen. Vorlesung 2Std, mit Tafelübung von D.Kaumanns, 2Std, WS 2013/14
Formale Sprachen. Vorlesung 2Std mit Tafelübung 2Std, WS 2013/14
Multilinguale Grammatiken im "Grammatical Framework". Vorlesung mit Übung 3Std, WS 2013/14

Computerlinguistische Anwendungen. Vorlesung 3Std + Tafelübung 2Std, SoSe 2013
Logik und modelltheoretische Semantik. Vorlesung 2Std + Tafelübung 2Std

Maschinelle Übersetzung. Seminar 2Std, WS 2012/13
Multilinguale Grammatiken im "Grammatical Framework". Vorlesung 2Std + Übung 2 Std, WS 2012/13
Symbolische Programmiersprache (PROLOG). Vorlesung 2Std mit Tafelübung 2Std, WS 2012/13

Computerlinguistische Anwendungen. Vorlesung 3Std mit Tafelübung 2Std, SoSe 2012
Logik und modelltheoretische Semantik. Vorlesung 2Std mit Tafelübung 2Std, SoSe 2012

Symbolische Programmiersprache (PROLOG). Vorlesung 2Std mit Tafelübung 2Std, WS 2011/12
Satzgrammatik des Deutschen. Hauptseminar 2Std, WS 2011/12 (statt Kursseite: Folien im svn-Archiv der Programme)
Syntaxanalysealgorithmen. Vorlesung 2Std, WS 2011/12

Geteiltes Wissen und spieltheoretische Semantik. Hauptseminar SS 2010
Logik und modelltheoretische Semantik. Vorlesung + Tafelübung. SS 2010
Computerlinguistische Anwendungen. Vorlesung + Tafelübung. SS 2010

Formale Sprachen. Vorlesung + Übung, WS 2010/11
Syntax natürlicher Sprachen. Vorlesung + Übung, WS 2010/11

Aufbau und Anwendung multilingualer Grammatiken im "Grammatical Framework". Hauptseminar SS 2010, mit Prof.M.Hofmann, Informatik. (siehe CIS-Wiki)
Funktionales Programmieren im "Grammatical Framework". Praktische Übung SS 2010, mit N.Perera (siehe CIS-Wiki)
Implementierung von Parsergeneratoren. Hauptseminar SS 2010 seminarfolien.pdf
Kontrollierte Sprache. Hauptseminar SS 2010 (siehe CIS-Wiki)

Relationale Grammatik. Hauptseminar WS 2009/10.
Computerlinguistik II. Vorlesung mit Proseminar/Übung, WS 2009/10.
Formale Sprachen und Automaten. Vorlesung mit Proseminar/Übung, WS 2009/10.
Implementierung einer Grammatik für das Mongolische. Arbeitsgemeinschaft, WS 2009/10.

Einführung in das Symbolische Programmieren. Vorlesung mit Übung SS 2009
Syntax. Proseminar/Vorlesung SS 2009
Beschreibungslogik. Hauptseminar SS 2009
Implementierung einer Grammatik für das Mongolische. Arbeitsgemeinschaft SS 2009

Grammatikimplementierung. Hauptseminar WS 2008/09
Parsing. Hauptseminar mit Programmierübung WS 2008/09
Computerlinguistik II. Vorlesung mit Proseminar WS 2008/09

Datenstrukturen und Algorithmen zur Stringverarbeitung. Hauptseminar SS 2008
Geteiltes Wissen. Hauptseminar SS 2008
Funktionales Programmieren. Programmierkurs SS 2008
Semantik. Vorlesung mit Proseminar SS 2008

Formale Sprachen und Automaten. Vorlesung mit Proseminar. WS 2007/08
Computerlinguistik II. Vorlesung mit Proseminar. WS 2007/08
Syntax und Semantik von Vergleichsausdrücken. Hauptseminar WS 2007/08

Grammatical Framework. Hauptseminar. SS 2007
Syntax. Vorlesung/Proseminar SS 2007
Mathematische Grundlagen II. Vorlesung/Proseminar SS 2007

Computerlinguistik II. Vorlesung mit Proseminar. WS 2006/07
Parsing.Vorlesung/Hauptseminar mit Übung. WS 2006/07.
Grammatikimplementierung. Hauptseminar. WS 2006/07

Einführung in das symbolische Programmieren (Prolog). Programmierkurs. SS 2006
Logik des geteilten Wissens. Hauptseminar. SS 2006
Algorithmische Probleme kontextfreier Grammatiken. Hauptseminar. SS 2006
Sprachtheorie bei Aristoteles. Arbeitsgemeinschaft. (mangels Beteiligung ausgefallen)

Computerlinguistik II. Vorlesung mit Proseminar. WS 2005/06
Formale Sprachen und Automaten. Vorlesung mit Proseminar. WS 2005/06
Optimierung von Parsing-Algorithmen. Programmierpraktikum. WS 2005/06

Mathematische Grundlagen der Computerlinguistik II. Vorlesung mit Proseminar. SS 2005

Mathematische Grundlagen der Computerlinguistik I. Vorlesung mit Proseminar WS 2004/05
Semantik: Interpretation und Auswertung. Hauptseminar WS 2004/05
Computerlinguistik II. Vorlesung mit Proseminar WS 2004/05

Algorithmen und Datenstrukturen in der Stringverarbeitung. Vorlesung + Hauptseminar SS 2004
Semantik I. Vorlesung+Proseminar SS 2004
CIS-GRAMM. Arbeitsgemeinschaft SS 2004

Mathematische Grundlagen der Computerlinguistik II. Vorlesung und Proseminar SS 2003
Einführung in Standard ML, Programmierkurs SS 2003
Relationale Grammatik, Hauptseminar SS 2003

Mathematische Grundlagen der Computerlinguistik I. Vorlesung und Proseminar WS 2002/03
Mercury-Kurs zum Proseminar "Melcuk und Mercury", WS 2002/03
Logik und Automaten. Die Vorlesung fällt leider aus Mangel an Teilnehmern aus.
Einführung in das wissenschaftliche Arbeiten, WS 2002/03 ( LaTeX Beispiele )

Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2002
Semantik II , Vorlesung SS 2002
Grammatikimplementierung II
- Version 03.7.02 Nur Dokumentation (dokumentation.ps)
- Version 8.7.02 (ohne dokumentation.ps, ohne /Testbett) (Nur für Seminarteilnehmer)

Grammatikimplementierung I, Vorlesung mit Seminar WS 2001/02
Mathematische Grundlagen der Computerlinguistik I, Vorlesung mit Proseminar, WS 2001/2002

Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2001
Synonymie und Intensionalität, Hauptseminar WS 2000/2001
Einführung in Standard ML, Programmierkurs WS 2000/2001

Einführung in das symbolische Programmieren (Prolog), Vorlesung und Tutorial SS 2000
Mathematische Grundlagen II. Vorlesung und Proseminar SS 2000
Algorithmen und Datenstrukturen in der Stringverarbeitung. Hauptseminar SS 2000

Lektüre klassischer Texte der Sprachwissenschaft, Arbeitsgemeinschaft WS 1999/2000, SS 2000
Parsing, Vorlesung und Hauptseminar WS 1999/2000
Einführung in das symbolische Programmieren (Prolog), Vorlesung SS 1999 (prologfolien.ps)
Automaten und Transduktoren. Hauptseminar WS 1998/99.
Syntax I, Vorlesung SS 98 (syntax.pdf)
Formale Sprachen und Automaten, Vorlesung WS 97/98, (automaten.skriptum.ps)
Typsysteme funktionaler Programmiersprachen, Teil I. Vorlesung SS 97. CIS-Bericht-97-107
Theorie endlicher Modelle, Seminar WS 96/97

Organisation

3rd GF Summer School. 18.-30. August 2013, Frauenchiemsee, Germany.
International summer school 'Grammatical Framework. Scaling up grammatical resources'.
Organizers: H.Leiß (LMU), A.Ranta (Chalmers)
CSL 2000. Annual Conference of the European Association for Computer Science Logic.
August 21-26, 2000 · Fischbachau/Munich, Germany. Member of the Local Organization Comittee
NADA Worshop on Streams. October 16-18, 1995, Schloß Elmau, 82493 Elmau/Oberbayern, Germany.
International workshop of the Esprit Basic Research Action `New Hardware Design Languages'.
Organizers: H.Leiß, H.Schwichtenberg
Workshop on `Common Foundations of Functional and Logic Programming'. Munich, March 26-28, 1992.
3rd Workshop of the Esprit Basic Research Action 3230. Organizer: H.Leiß

Disclaimer:

The institute's main page says: (we) "believe in the principle that learning is key to successful NLP -- the same way that the language capabilities of humans are based on learning". I don't believe this, and I doubt that we know enough about learning of language capabilities in humans. As science is not about believing, I prefer to develop algorithms, theorems and proofs.

Last Modified: May 22, 2019