Prof. Dr. Klaus U. Schulz
Phone: +49 89 2178 2700
Fax: +49 89 2178 2701
Email: schulz@cis.uni-muenchen.de
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.
Activities
Current PC Memberships
PhD Programmes
Recent Publications
- [Sc89]
- 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.
- [Sc92]
- K.U. Schulz (Ed.), "Word Equations and Related Topics",
Proceedings 1st International Workshop, IWWERT'90,
Springer LNCS 572, 1992.
- [Sc93]
- K.U. Schulz, "Word Unification and Transformation of Generalized
Equations",
Journal of Automated Reasoning 11 (1993),
pp. 149-184.
- [BS92]
- 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.
- [BS95a]
- 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.
- [BS95b]
- F. Baader and K.U. Schulz, "Combination Techniques and Decision
Problems for Disunification",
Theoretical Computer Science,
142, 1995, pp 229-255.
- [SG95]
- 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.
- [Sc95]
- K. Schulz, "On Existential Theories of List Concatenation",
in:
Proceedings of Computer Science Logic '94, (Kazimierz,
Poland), 1995. Springer-Verlag.
- [BS96a]
- F. Baader and K.U. Schulz, "Unification in the Union of Disjoint
Equational Theories: Combining Decision Procedures",
J. Symbolic Computation, 21:211-243, 1996.
- [BS96b]
- F. Baader and K.U. Schulz, editors, "Frontiers of Combining
Systems",
Kluwer Academic Publishers, 1996.
- [KS96]
- 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.
- [Sc97]
- 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.
- [SS98]
- 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.
- [BS98]
- 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