Marti, J., Venema, Y. (2021) A Focus System for the Alternation-Free μ-Calculus.

In Das, A. Negri, S. (Eds.), Automated Reasoning with Analytic Tableaux and Related Methods: 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6–9, 2021 : proceedings (pp 371-388) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 12842). Springer.

Marti, J. (2013) Semantic Facts on Kripke Frames.

In Punčochář, V. Švarný, P. (Eds.), The Logica Yearbook 2012 (pp 101-112). College Publications.

Marti, J. (2023) Conditional Logic is Complete for Convexity in the Plane.

Review of Symbolic Logic, Vol. 16 (pp 529-552)

Article | https://doi.org/10.1017/S1755020321000356 | UvA-DARE

Marti, J.F. (2016) Interpreting linguistic behavior with possible world models.

Thesis, fully internal | UvA-DARE

Martinez Pandiani, D.S., Lazzari, N., Presutti, V. (2024) Stitching Gaps: Fusing Situated Perceptual Knowledge with Vision Transformers for High-Level Image Classification.

In Salatino, A. Alam, M. Ongenae, F. Vahdati, S. Gentile, A.-L. Pellegrini, T. Jiang, S. (Eds.), Knowledge Graphs in the Age of Language Models and Neuro-Symbolic AI: Proceedings of the 20th International Conference on Semantic Systems, 17–19 September 2024, Amsterdam, The Netherlands (pp 68-87) (Studies on the Semantic Web, Vol. 60). IOS Press.

Martinez Pandiani, D.S., Naudts, L.P.A., Streefkerk, Ella, Helm, P.M. (2026) From Vulnerable Data Subjects to Vulnerabilizing Data Practices: Navigating the Protection Paradox in AI-Based Analyses of Platformized Lives.

Paper | UvA-DARE

Martinez Pandiani, D.S., Tjong Kim Sang, Erik, Ceolin, D. (2025) ‘Toxic’ memes: A survey of computational perspectives on the detection and explanation of meme toxicities.

Online Social Networks and Media, Vol. 47

Review article | https://doi.org/10.1016/j.osnem.2025.100317 | UvA-DARE

Martinez Pandiani, D.S., Tjong Kim Sang, Erik, Ceolin, Davide (2024) Toxic Memes: A Survey of Computational Perspectives on the Detection and Explanation of Meme Toxicities.

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.2406.07353 | UvA-DARE

Martinez Pandiani, D.S., Tjong Kim Sang, Erik, Ceolin, Davide (2026) OnToxKG: An Ontology-Based Knowledge Graph of Toxic Symbols and Their Manifestations.

In Verma, Himanshu Bozzon, Alessandro Yang, Jie Mauri, Andrea (Eds.), Web Engineering: 25th International Conference, ICWE 2025, Delft, The Netherlands, June 30–July 3, 2025 : proceedings (pp 119-127) (Lecture Notes in Computer Science, Vol. 15749). Springer.

Martinez Pandiani, D.S. (2024) The wicked problem of naming the intangible: Abstract concepts, binary thinking, and computer vision labels.

Future Humanities, Vol. 2

Article | https://doi.org/10.1002/fhu2.11 | UvA-DARE

Martinez Pandiani, D.S. (2024) Bridging the Gap: Decoding Abstract Concepts in Cultural Heritage Images.

In Moral-Andrés, F. Merino-Gómez, E. Reviriego, P. (Eds.), Decoding Cultural Heritage: A Critical Dissection and Taxonomy of Human Creativity through Digital Tools (pp 157-189). Springer.

Martinez-Ortiz, C., Koolen, M., Buschenhenke, F., van Dalen-Oskam, K. (2015) Beyond the Book: Linking Books to Wikipedia.

In Proceedings, 11th IEEE International Conference on eScience: 31 August-4 September 2015, Munich, Germany (pp 12-21). IEEE Computer Society.

Marx, M., Bezhanishvili, N. (2000) All proper normal extensions of S5-square have the polynomial size model property.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Dastani, M.M. (2002) Anaphoric definitions in description logic.

Lecture Notes in Computer Science, Vol. 2510 (pp 410-417)

Article | UvA-DARE

Marx, M., de Rijke, M. (2004) Semantic characterizations of navigational XPath.

In Mihajlovic, V. Hiemstra, D. (Eds.), Proceedings of the First Twente Data Management Workshop (pp 67-73)

Marx, M., Hoogland, E., Otto, M. (1999) Beth Definability for the Guarded Fragment.

In McAllester, D. Ganzinger, H. Voronkov, A. (Eds.), Logic for Programming and Automated Reasoning (pp 273-285). Springer-Verlag.

Marx, M., Kamps, J., de Rijke, M. (2002) The University of Amsterdam at INEX-2002.

In Fuhr, N. Gövert, N. Kazai, G. Lalmas, M. (Eds.), INEX 2002 Workshop Proceedings (pp 24-28)

Marx, M., Kamps, J. (2023) Digitaal duurzaam publiceren van Woo-dossiers: Een onderzoek naar de stand van zaken.

Archievenblad, Vol. 123 (pp 20-23)

Article | UvA-DARE

Marx, M., Larooij, M., Enthoven, G., Kamps, J. (2023) Het Woogle Woo-dossiercorpus.

Nederlands Juristenblad, Vol. 98 (pp 3238-3239)

Article | https://www.inview.nl/document/id5cfdbafaf94944da82f6d54d7d946120?ctx=WKNL_CSL_85 | UvA-DARE

Marx, M., Larooij, M., Perasedillo, F., Kamps, J. (2023) Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers.

In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp 269-274) (Lecture Notes in Computer Science, Vol. 13982). Springer.