de Nivelle, J.M.G.G., Areces, C.E. (1999) Prefixed resolution.

Technical Report ILLC. vg logic/info (oud WINS).

Report | UvA-DARE

de Nivelle, J.M.G.G., de Rijke, M. (2000) The Boyer-Moore theorem prover.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, Supplement II (pp 83-84). Kluwer.

de Nivelle, J.M.G.G., de Rijke, M. (2000) Theorem prover.

In Hazewinkel, M. (Eds.), Encyclopedia of Mathematics, Supplement II (pp 452-453). Kluwer.

de Nivelle, J.M.G.G., Ganzinger, H. (1999) A Superposition Decision Procedure for the Guarded Fragment with Equality.

In Longo, G. (Eds.), Fourteenth Annual IEEE Symposium on Logic in Computer Science (pp 295-303)

de Rijke, M., Areces, C.E., de Nivelle, J.M.G.G. (1999) Prefixed Resolution: A Resolution Method for Modal and Description Logic.

In Ganzinger, H. (Eds.), Automated Deduction-CADE-16 (pp 187-201) (LNCS). Springer Verlag.

de Rijke, M., Heguiabehere, J.M., Infante Lopez, G.G. (2001) Structured problems for modal satisfiability testing.

In Areces, C. de Rijke, M. (Eds.), Proceedings of M4M Workshop, 2001

de Rijke, M., Heguiabehere, J.M. (2001) The random modal qbf test set.

In Proceedings IJCAR Workshop on Issues in the Design and Experimental Evaluation of Systems for Modal and Temporal Logics (pp 58-67)

de Rijke, M., Ó Nualláin, B.S., van Benthem, J.F.A.K. (2001) Ensemble-based prediction of SAT search behaviour.

In Kautz, H. Selman, B. (Eds.), Electronic Notes in Discrete Mathematics, volume 9. Elsevier Science Publishers.

de Rijke, M., Sturm, H. (1999) Global vs. local in basic modal logic.

In Proc. Nicht-klassische Formen der Logik im Rahmen des XVIII. Deutschen Kongresses für Philosophie

de Rijke, M., Sturm, H. (2001) Global definability in basic modal logic.

In Wansing, H. (Eds.), Essays on Non-classical Logic (pp 111-135). World Scientific Publishers.

de Rijke, M., van den Hurk, Bart, Salim, Flora, Khourdajie, Alaa Al, Bai, Nan, Calzone, Renato, Curran, Declan, Demil, Getnet, Frew, Lesley, Gießing, Noah, Gupta, Mukesh Kumar, Heuss, Maria, Hobeichi, Sanaa, Huard, David, Kang, Jingwei, Lucic, A., Mallick, Tanwi, Nath, Shruti, Okem, Andrew, Pernici, Barbara, Rajapakse, Thilina, Saleem, Hira, Scells, Harry, Schneider, Nicole, Spina, Damiano, Tian, Yuanyuan, Totin, Edmund, Trotman, A., Valavandan, Ramamurthy, Workneh, Dereje, Xie, Yangxinyu (2025) Report on the 1st Workshop on Information Retrieval for Climate Impact (MANILA24) at SIGIR 2024.

SIGIR Forum, Vol. 59

Article | https://doi.org/10.1145/3769733.3769737 | UvA-DARE

de Rijke, M., Wansing, H. (2002) Proofs and expressiveness in alethic modal logic.

In Jacquette, D. (Eds.), A Companion to Philosophical Logic (pp 422-441). Blackwell Publishing.

de Rijke, M. (1997) Advances in Intensional Logic.

Applied Logic Series. Kluwer Academic Publishers.

Book (Editorship) | UvA-DARE

de Rijke, M. (1998) A modal characterisation of Peirce algebras.

In Logic at work. Springer.

de Rijke, M. (1998) A system of dynamic modal logic.

Journal of Philosophical Logic, Vol. 27 (pp 109-142)

Article | https://doi.org/10.1023/A:1004295308014 | UvA-DARE

de Rijke, M. (1998) Preface.

In Advances in modal logic, vol 1 (pp 9-14) (-). CSLI Publications.

de Rijke, M. (1998) Modal logics and Description logics.

In Proceedings of the 1999 International Workshop on Description Logics (DL'98)

de Rijke, M. (1999) Combining reasoning systems.

In Proc. Automated Reasoning '99

de Rijke, M. (1999) Review of 'Logical Reasoning with Diagrams', edited by G. Allwein.

Journal of Logic, Language and Information, Vol. 8 (pp 387-390)

Article | UvA-DARE

de Rijke, M. (1999) Review of 'Deduction Systems' by R. Socher-Ambrosius and P. Johann.

Journal of Logic, Language and Information, Vol. 8 (pp 476-478)

Article | UvA-DARE