Schlobach, K. S. (2004). Explaining subsumption by optimal interpolation. Lecture Notes in Computer Science.
Schlobach, K. S., & Cornet, R. (2004). Logical support for terminological modeling. Studies in Health Technology and Informatics.
Schlobach, K. S., Olsthoorn, M., & de Rijke, M. (2004). Type checking in open-domain question answering. In Proceedings of the 16th European Conference on Artificial Intelligence (pp. 398-402). IOS Press.
Schlobach, K. S., Olsthoorn, M., & de Rijke, M. (2004). Type checking in open-domain question answering. BNAIC, 16, 367-368.
Schlobach, K. S. (2003). Optimal Interpolation in ALC. (Technical Reports; No. PP-2003-23). Institute for Logic, Language and Computation.
Jijkoun, V., Mishne, G., Monz, C., de Rijke, M., Schlobach, S., & Tsur, O. (2003). The University of Amsterdam at the TREC 2003 Question Answering Track. In Proceedings TREC 2003 (pp. 586-593)
Jijkoun, V., Kamps, J., Mishne, G. A., Monz, C., de Rijke, M., Schlobach, K. S., & Tsur, O. (2003). The University of Amsterdam at TREC 2003. In TREC 2003 Working Notes. National Institute for Standards and Technology
Schlobach, K. S. (2003). Optimal interpolation. In Proceedings of Methods for Modalities 3
Schlobach, K. S., & Cornet, R. (2003). Explanation of terminological reasoning; a preliminary report. In Proceedings of the Description Logics Workshop 2003
Schlobach, K. S., & Cornet, R. (2003). Non-standard reasoning services for the debugging of description logic terminologies. In M. Kaufmann (Ed.), Proceedings of the 18th International Joint Conference on Artificial Intelligence, IJCAI'03