Marti, J., Pinosio, R. (2014) Topological Semantics for Conditionals.

In Dančák, M. Punčochář, V. (Eds.), The Logica Yearbook 2013 (pp 115-128). College Publications.

Marti, J., Pinosio, R. (2014) Similarity Orders from Causal Equations.

In Fermé, E. Leite, J. (Eds.), Logics in Artificial Intelligence: 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014 : proceedings (pp 500-513) (Lecture Notes in Computer Science
Lecture Notes in Artificial Intelligence, Vol. 8761). Springer.

Marti, J., Seifan, F., Venema, Y. (2015) Uniform Interpolation for Coalgebraic Fixpoint Logic.

In Moss, L.S. Sobociński, P. (Eds.), 6th Conference on Algebra and Coalgebra in Computer Science: CALCO'15, June 24-26, 2015, Nijmegen, Netherlands (pp 238-252) (Leibniz International Proceedings in Informatics, Vol. 35). Schloss Dagstuhl - Leibniz-Zentrum für Informatik.

Marti, J., Venema, Y. (2012) Lax Extensions of Coalgebra Functors.

In Pattinson, D. Schröder, L. (Eds.), Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012 : revised selected papers (pp 150-169) (Lecture Notes in Computer Science, Vol. 7399). Springer.

Marti, J., Venema, Y. (2015) Lax Extensions of Coalgebra Functors and Their Logic.

Journal of Computer and System Sciences, Vol. 81 (pp 880-900)

Article | https://doi.org/10.1016/j.jcss.2014.12.006 | UvA-DARE

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, 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 Carvalho, S. Rocha Souza, R. (Eds.), Proceedings of the Workshops and Tutorials held at LDK 2021: co-located with the 3rd Language, Data and Knowledge Conference (LDK 2021) : Zaragoza, Spain, September 1-4, 2021 (pp 32-46) (CEUR Workshop Proceedings, Vol. 3064). CEUR-WS.

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.