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, Valentina (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., Presutti, Valentina (2021) Automatic Modeling of Social Concepts Evoked by Art Images as Multimodal Frames.

In Proceedings of the First International Workshop on Multisensory Data and Knowledge at the 3rd Conference on Language, Data and Knowledge (2021)

Martinez Pandiani, D.S., Presutti, Valentina (2022) Coded Visions: Addressing Cultural Bias in Image Annotation Systems with the Descriptions and Situations Ontology Design Pattern.

In Proceedings of the 6th International Conference on Graphs and Networks in the Humanities 2022: Technologies, Models, Analyzes, and Visualizations (pp 8)

Martinez Pandiani, D.S., Presutti, Valentina (2023) Seeing the Intangible: Survey of Image Classification into High-Level and Abstract Categories.

arXiv e-prints (pp arXiv-2308)

Preprint | https://doi.org/10.48550/arXiv.2308.10562 | 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 (2025) 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. (2020) Semantic & Interactive Technologies for Civic Education: Ancient Classical Polychromy as a Case Study.

Paper | UvA-DARE

Martinez Pandiani, D.S. (2020) A Collaborative Color Laboratory: Using 3D Modelling, Texturization, and AR to Challenge White Supremacist Uses of Ancient Classical Sculptures.

Paper | UvA-DARE

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)