Schlobach, K. S., Olsthoorn, M., & de Rijke, M. (2004). Type checking in open-domain question answering. BNAIC, 16, 367-368.
Ahn, D. D., Jijkoun, V., Kamps, J., Mishne, G. A., Müller, K. E., de Rijke, M., & Schlobach, K. S. (2004). The University of Amsterdam at TREC 2004. In TREC 2004 Conference Notebook (pp. 43-56).
Schlobach, S., & Cornet, R. (2004). Logical support for terminological modeling. Medinfo, 2004, 439-443.
Jijkoun, V., Mishne, G. A., de Rijke, M., Schlobach, K. S., Ahn, D. D., & Müller, K. E. (2004). The University of Amsterdam at qa@clef 2004. In C. Peters, & F. Borri (Eds.), Working Notes for the CLEF 2004 Workshop (pp. 321-324)
Schlobach, K. S. (2003). Optimal Interpolation in ALC. (Technical Reports; No. PP-2003-23). Institute for Logic, Language and Computation.
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
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
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