Ó Nualláin, B. S., de Rijke, M., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT research behaviour. In Proceedings of BNAIC 2001 (pp. 423-424).
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. (Cambridge Tracts in Computer Science; No. 53). Cambridge University Press.
Monz, C., & de Rijke, M. (2001). Light-weight inference for computational semantics. In P. Blackburn, & M. Kohlhase (Eds.), Proceedings of the 3rd Workshop on Inference in Computational Semantics (ICoS-3) (pp. 59-72)
Monz, C., & de Rijke, M. (2001). The university of amsterdam at clef 2001. In Working Notes for the Cross Language Evaluation Forum Workshop (CLEF 2001) (pp. 165-169)
van Benthem, J., Dekker, P., van Eijck, J., de Rijke, M., & Venema, Y. (2001). Logic in Action. ILLC, University of Amsterdam.
de Rijke, M. (2001). review of Handbook of Tableau Methods [Review of: M. D'Agostino, D.M. Gabbay. Handbook of Tableau Methods]. Journal of Logic, Language and Information, 10, 518-523.
de Rijke, M. (2001). Computing with Meaning. In Logic in Action ILLC.
de Rijke, M., Ó Nualláin, B. S., & van Benthem, J. F. A. K. (2001). Ensemble-based prediction of SAT search behaviour. In H. Kautz, & B. Selman (Eds.), Electronic Notes in Discrete Mathematics, volume 9 Elsevier Science Publishers.
Areces, C. E., Franconni, E., Gore, R., de Rijke, M., & Schlingoff, H. (2000). Editorial. In C. E. Areces, E. Franconni, & R. Gore (Eds.), Methods for modalities 1 (pp. 231-237). (Logic journal of the IGPL; No. 8 : 3).
Areces, C. E., Gennari, R., Heguiabehere, J. M., & de Rijke, M. (2000). Tree-based heuristics in modal theorem proving. In ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence IOS Press.
