Franceschet, M., & de Rijke, M. (2003). Model checking for hybrid logics. In Proceedings M4M-3
Brand, S., Gennari, R., & de Rijke, M. (2003). Finite CSP Solvers for Modal Satisfiability. In Proceedings of M4M-3
Infante Lopez, G. G., & de Rijke, M. (2003). Natural Language Parsing with W-grammars. In 14th Meeting of Computational Linguistics in the Netherlands
Infante Lopez, G. G., & de Rijke, M. (2003). Natural Language Parsing with W-grammars. In 14th Meeting of Computational Linguistics in the Netherlands
Foeldesi, C., Müller, K. E., & de Rijke, M. (2003). Using the Corpus Gesproken Nederlands to Build a named Entity Recognizer. In 14th Meeting of Computational Linguistics in the Netherlands
Tala, F., Kamps, J., Müller, K. E., & de Rijke, M. (2003). The impact of stemming on information retrieval in Bahasa Indonesia. In 14th Meeting of Computational Linguistics in the Netherlands Amsterdam University Press.
Mishne, G. A., Jijkoun, V., & de Rijke, M. (2003). Error Analysis in a Multi-stream Question Answering System. In 14th Meeting of Computational Linguistics in the Netherlands
Kamps, J., Monz, C., de Rijke, M., & Sigurbjörnsson, B. (2003). Approaches to Robust and Web Retrieval. In Proceedings of TREC 2003 (pp. 594-600)
de Nivelle, H., & de Rijke, M. (2003). Deciding the guarded fragments by resolution. Journal of Symbolic Computation.
Brand, S., Gennari, R., & de Rijke, M. (2003). Modelling modal satisfiability in constraint logic programming. In Proceedings of 8th ERCIM WGC Workshop