Manfred Schmidt-Schauß
Author
Alternate names Manfred Schmidt Schaus, Manfred Schmidt‐Schauß, M. Schmidt‐Schauss, M. Schmidt‐Schauß, Manfred Schmidt‐Schauss
Institution Goethe University Frankfurt
Past institutions Goethe University Frankfurt, Goethe Institute, Institut Für Angewandte Kulturforschung, University of Kaiserslautern, Software (Germany)
ORCID: Yes
H-index: 21
I10-index: 40
Works count: 131
Citations count: 1,591
Unification Theory
2001 · Franz Baader, Wayne Snyder, et al. · Elsevier eBooks
Computational Aspects of an Order-Sorted Logic with Term Declarations
1989 · Manfred Schmidt-Schauß · Lecture notes in computer science
Subsumption algorithms for concept description languages
1990 · Bernhard Hollunder, Werner Nutt, et al. · European Conference on Artificial Intelligence