Searchable List of Research Output | Institute for Logic, Language and Computation

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

Conference contribution | UvA-DARE
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.

Chapter | 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.

Chapter | UvA-DARE
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.

Chapter | UvA-DARE
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.

Chapter | UvA-DARE
de Rijke, M. (1998) Modal logics and Description logics.

In Proc. of the international workshop on descrition logics

Chapter | UvA-DARE
de Rijke, M. (1999) Combining reasoning systems.

In Proc. Automated Reasoning '99

Conference contribution | UvA-DARE
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
de Rijke, M. (2000) A note on graded modal logic.

Studia Logica, Vol. 64 (pp 271-283)

Article | UvA-DARE
de Rijke, M. (2000) Modal experiments.

In Proceedings Automated Reasoning Workshop 2000. King's College London.

Conference contribution | UvA-DARE
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, Vol. 10 (pp 518-523)

Book/Film/Article/Exhibition review | UvA-DARE
de Rijke, M. (2001) Computing with Meaning.

In Logic in Action. ILLC.

Chapter | UvA-DARE
de Rooij, S., Vitányi, P.M.B. (2012) Approximating rate-distortion graphs of individual data: Experiments in lossy compression and denoising.

IEEE Transactions on Computers, Vol. 61 (pp 395-407)

Article | https://doi.org/10.1109/TC.2011.25 | UvA-DARE
de Rooij, S. (2005) MDL Model Selection using the ML Plug-in Code.

In the proceedings of the International Symposium on Information Theory (ISIT)

Conference contribution | UvA-DARE
de Rooij, S. (2008) Minimum Description Length Model Selection.

Thesis, fully internal | UvA-DARE
de Vos, J., Visser, L.A., de Beer, A.A., Fornasa, M., Thoral, P.J., Elbers, P.W.G., Cina, G. (2022) The Potential Cost-Effectiveness of a Machine Learning Tool That Can Prevent Untimely Intensive Care Unit Discharge.

Value in Health, Vol. 25 (pp 359-367)

Article | https://doi.org/10.1016/j.jval.2021.06.018 | UvA-DARE
de Wolf, R. (1998) Review of C. Williams and S. Clearwater, Explorations in quantum computing.

Science of Computer Programming, Vol. 32 (pp 213-216)

Article | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact illc at uva.nl