McHugh, D. (2023) Exhaustification in the semantics of cause and because.

Glossa, Vol. 8

Article | https://doi.org/10.16995/glossa.7663 | UvA-DARE

McHugh, D. (2024) A problem for downward closure in the semantics of counterfactuals.

In Pavlova, A. Pedersen, M.Y. Bernardi, R. (Eds.), Selected Reflections in Language, Logic, and Information: ESSLLI 2019, ESSLLI 2020 and ESSLLI 2021 Student Sessions : selected papers (pp 177-186) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 14354). Springer.

McIntyre, A. (2023) Weizenbaum's Nightmare: The decay of language in AI-generated communication.

Journal of Pervasive Media, Vol. 8 (pp 11-27)

Article | https://doi.org/10.1386/jpm_00002_1 | UvA-DARE

Medina-Vega, R., Hernández-Quiroz, F., Velázquez-Quesada, F.R. (2021) Minimal abductive solutions with explicit justification.

Logic Journal of the IGPL, Vol. 29 (pp 483–502)

Article | https://doi.org/10.1093/jigpal/jzz036 | UvA-DARE

Meghwal, D., Kann, K., Calixto, I., Jastrzebski, S. (2020) Can Wikipedia Categories Improve Masked Language Model Pretraining?.

Abstract | https://www.aclweb.org/anthology/2020.winlp-1.19/ | UvA-DARE

Meij, E.J., IJzereef, L.H.L., Azzopardi, L., Kamps, J., de Rijke, M. (2006) Combining Thesauri-based Methods for Biomedical Retrieval.

In Voorhees, Ellen M. Buckland, Lori P. (Eds.), The Fourteenth Text REtrieval Conference (TREC 2005) (NIST special publication). National Institute of Standards and Technology.

Melgar, L., Blom, J., Baaren, Eva, Koolen, M.H.A., Ordelman, Roeland (2016) A conceptual model for the annotation of audiovisual heritage in a media studies context.

Abstract | https://avindhsig.wordpress.com/workshop-2016-krakow/accepted-abstracts/liliana-melgar-jaap-blom-eva-baaren-marijn-koolen-roeland-ordelman/ | UvA-DARE

Melgar, L., Koolen, M.H.A., Beelen, K., Huurdeman, H., Wigham, M., Martinez-Ortiz, C., Blom, J., Ordelman, Roeland (2019) The Clariah Media Suite: A Hybrid Approach to System Design in the Humanities.

In CHIIR'19: proceedings of the 2019 Conference on Human Information Interaction and Retrieval : March 10-14, 2019, Glasgow, Scotland UK (pp 373-377). The Association for Computing Machinery.

Melgar, L., Koolen, M.H.A., Huurdeman, H., Blom, J. (2017) A process model of scholarly media annotation.

In CHIIR'17: proceedings of the 2017 Conference Human Information Interaction and Retrieval : March 7-11, 2017, Oslo, Norway (pp 305-308). The Association for Computing Machinery.

Menéndez Turata, G. (2024) Cyclic proof systems for modal fixpoint logics.

ILLC Dissertation series

Thesis, fully internal | UvA-DARE

Merchant, H., Honing, H. (2014) Are non-human primates capable of rhythmic entrainment? Evidence for the gradual audiomotor evolution hypothesis.

Frontiers in Neuroscience, Vol. 7

Article | https://doi.org/10.3389/fnins.2013.00274 | UvA-DARE

Merker, B., Morley, I., Zuidema, W. (2015) Five fundamental constraints on theories of the origins of music.

Philosophical Transactions of the Royal Society B: Biological Sciences, Vol. 370

Article | https://doi.org/10.1098/rstb.2014.0095 | UvA-DARE

Merker, B., Morley, I., Zuidema, W. (2018) Five fundamental constraints on theories of the origins of music.

In Honing, H. (Eds.), The Origins of Musicality (pp 49-80). MIT Press.

Meyer Viol, WILFRIED (1995) Instantial Logic.

Thesis, fully external | UvA-DARE

Michalko, Aleksandra, Burgoyne, J.A. (2021) Description of Flute Tone Quality: Semantic Labelling of Low-Level Features.

Poster | UvA-DARE

Michelini, M., Haret, A., Grossi, D. (2022) Group Wisdom at a Price: Jury Theorems with Costly Information.

In De Raedt, L. (Eds.), Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence: IJCAI 2022, Vienna, Austria, 23-29 July 2022 (pp 419-425). International Joint Conferences on Artificial Intelligence.

Miedema, D., Gattinger, M. (2023) Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic.

Electronic Proceedings in Theoretical Computer Science, Vol. 379 (pp 407-420)

Article | https://doi.org/10.4204/EPTCS.379.32 | UvA-DARE

Mikulas, S., Nemeti, I., Sain, I. (1995) Decidable Logics of the Dynamic Trend, and Relativized Relation Algebras.

In Gabbay, D.M. Csirmaz, L. de Rijke, M. (Eds.), Studies in Logic, Language and Information, CSLI. Stanford.

Mikulas, S. (1995) Taming Logics.

Thesis, fully internal | UvA-DARE

Mikulas, S. (1995) Taming First-order Logic.

In Trautwein, M. Fischer, S. (Eds.), Proceedings Accolade '95. Dutch Graduate School in Logic.