Phone: +49 89 2178 2700

Fax: +49 89 2178 2701

Email: schulz@cis.uni-muenchen.de

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.

- [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