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., Streefkerk, Ella, Naudts, Laurens, Helm, Paula (2026) From Vulnerable Data Subjects to Vulnerabilizing Data Practices: Navigating the Protection Paradox in AI-Based Analyses of Platformized Lives.

In ACM FAccT 2026: Proceedings of the 9th annual ACM Conference on Fairness, Accountability, and Transparency : June 25-28, 2026, Montréal, Canada (pp 106-128). Association for Computing Machinery.

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 Pandiani, D.S. (2025) Follow the glitch: Generative failures and creative navigation.

Abstract | UvA-DARE

Martinez Pandiani, D.S. (2026) Cultural boundaries in latent space: Iterative image prompting as method and meaning-making.

Abstract | UvA-DARE

Martinez Pandiani, D.S. (2026) Memes, Memory, and Digital Coloniality: Tracing the Global Afterlives of South American Death Flights.

Abstract | https://2026.msuglobaldh.org/abstracts/ | UvA-DARE

Martinez Pandiani, D.S. (2026) Tracing a memetic journey: From South American death flights to free helicopter ride memes.

In AoIR2025: Research from the Annual Conference of the Association of Internet Researchers (Selected Papers of Internet Research, Vol. 2025). Association of Internet Researchers.

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)