Prof. Dr. Klaus U. Schulz

Phone: +49 89 2178 2700
Fax: +49 89 2178 2701

Curriculum Vitae

Klaus U. Schulz was born in 1957 in Heilbronn (Baden-Württemberg, Germany). From 1981 until 1984 he has worked as a research assistant at the Mathematical Institute of the University of Tübingen. After finishing his Ph.D. in Mathematics in 1987, he was a visiting professor at the University of Niter'oi (Rio de Janeiro, Brasil) until 1988. At the same time he turned to the field of Computer Science where he held a research- and teaching position in Computational Linguistics at the Seminar for Natural Language Systems, University of Tübingen (1986-1991). He received his "Habilitation" in Computer Science at the University of Tübingen in 1991. In the same year, he was appointed as professor for information- and language processing at the University of Munich (LMU). Since 1992, Klaus U. Schulz also occupies the position of the technical director of the "Centrum für Informations- und Sprachverarbeitung" (CIS).

The main emphasis of his work is on logical methods in computational linguistics, unification theory, and in particular on combination of constraint solving methods. Furthermore, he has worked in the area of large scale electronic dictionaries.


Current PC Memberships

PhD Programmes

Recent Publications

K.U. Schulz, Preferential Cumulative Reasoning and Nonmonotonic Semantic Nets,
in: Proceedings of the Konstanz Workshop on the Logic of Theory Change,
A. Fuhrmann and M.Morreau (eds.),
Springer LNCS, Subseries on AI, vol. 465, 1989.
K.U. Schulz (Ed.), "Word Equations and Related Topics",
Proceedings 1st International Workshop, IWWERT'90, Springer LNCS 572, 1992.
K.U. Schulz, "Word Unification and Transformation of Generalized Equations",
Journal of Automated Reasoning 11 (1993), pp. 149-184.
F. Baader and K.U. Schulz, "Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures",
in: Proceedings of the 11th International Conference on Automated Deduction, CADE-92, Saratoga Springs (USA), 1992, Springer LNCS 607, pp. 50-65.
F. Baader and K.U. Schulz, "Combination of Constraint Solving Techniques: An Algebraic Point of View",
in: Proceedings of the 6th International Conference on Rewriting Techniques and Applications (J. Hsiang, Ed.), Lecture Notes in Artificial Intelligence, Kaiserslautern, Germany, 1995. Springer LNCS 914, pp.352-367.
F. Baader and K.U. Schulz, "Combination Techniques and Decision Problems for Disunification",
Theoretical Computer Science, 142, 1995, pp 229-255.
K.U. Schulz and D.M. Gabbay, "Logic Finite Automata",
in: "Applied Logic, How, What and Why", selected papers from the International Conference on Applied Logic, Logic at Work, Amsterdam, December 1992, M. Masuch and L. P'olos (eds.), Kluwer Synthese Library 247, 1995, pp.237-287.
K. Schulz, "On Existential Theories of List Concatenation",
in: Proceedings of Computer Science Logic '94, (Kazimierz, Poland), 1995. Springer-Verlag.
F. Baader and K.U. Schulz, "Unification in the Union of Disjoint Equational Theories: Combining Decision Procedures",
J. Symbolic Computation, 21:211-243, 1996.
F. Baader and K.U. Schulz, editors, "Frontiers of Combining Systems",
Kluwer Academic Publishers, 1996.
S. Kepser and K.U. Schulz, "Combination of Constraint Solvers II: Rational Amalgamation",
In Proceedings of the International Conference on Constraint Programming, CP-96, volume 1118 of Lecture Notes in Computer Science, Springer-Verlag, 1996.
K.U. Schulz, "A Criterion for Intractability of E-Unification with Free Function Symbols and its Relevance for Combination of Unification Algorithms",
in: Proceedings of Rewriting Techniques and Applications 1997, H. Comon (ed.), Springer LNCS 1232, 1997.
M. Schmidt-Schauss and K.U. Schulz, "On the Exponent of Periodicity of Minimal Solutions of Context Equations",
in: Proceedings of Rewriting Techniques and Applications 1998, T. Nipkow (ed.), Springer LNCS, 1998.
F. Baader and K.U. Schulz, "Combination of Constraint Solvers for Free and Quasi-Free Structures",
Theoretical Computer Science, 192:107-161, 1998.

Klaus Schulz

CIS Home page