Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Automatic wrapper generation for web search engines. Lecture Notes in Computer Science.
Chidlovskii, B., Ragetli, H. J. N., & de Rijke, M. (2000). Wrapper generation via grammar induction. Lecture Notes in Computer Science, 1810.
Franceschet, M., Montanari, A., & de Rijke, M. (2000). Model Checking for combined logics. In Workshop Proceedings ICTL 2000
Ohlbach, H.-J., Nonnengart, A., de Rijke, M., & Gabbay, D. M. (2000). Encoding two-valued non-classical logics in classical logic. In A. Robinson, & A. Voronkov (Eds.), Handbook of Automated Reasoning (pp. 1403-1486). Elsevier.
de Rijke, M. (2000). A note on graded modal logic. Studia Logica, 64, 271-283.
de Nivelle, J. M. G. G., & de Rijke, M. (2000). The Boyer-Moore theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 83-84). Kluwer.
de Nivelle, J. M. G. G., & de Rijke, M. (2000). Theorem prover. In M. Hazewinkel (Ed.), Encyclopedia of Mathematics, Supplement II (pp. 452-453). Kluwer.
de Rijke, M. (2000). Modal experiments. In Proceedings Automated Reasoning Workshop 2000 King's College London.
Areces, C. E., & de Rijke, M. (2000). Description and/or hybrid logics. In Proceedings of AiML 2000