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., & 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
Schlobach, K. S. (2003). Optimal Interpolation in ALC. (Technical Reports; No. PP-2003-23). Institute for Logic, Language and Computation.
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). Non-standard reasoning services for the debugging of description logic terminologies. In Proceedings of the 15th Belgium-Netherlands Conference on Artificial Intelligence03