Markham, Annette N., Pereira, G. (2019) Analyzing public interventions through the lens of experimentalism: the case of the Museum of Random Memory.

Digital Creativity, Vol. 30 (pp 235-256)

Article | https://doi.org/10.1080/14626268.2019.1688838 | UvA-DARE

Markham, Annette N., Pereira, G. (2019) Experimenting With Algorithms and Memory-Making: Lived Experience and Future-Oriented Ethics in Critical Data Science.

Frontiers in Big Data, Vol. 2

Article | https://doi.org/10.3389/fdata.2019.00035 | UvA-DARE

Marra, V., Spada, L. (2013) Duality, projectivity, and unification in Łukasiewicz logic and MV-algebras.

Annals of Pure and Applied Logic, Vol. 164 (pp 192-210)

Article | https://doi.org/10.1016/j.apal.2012.10.001 | UvA-DARE

Marra, V., Spada, L. (2013) Two isomorphism criteria for directed colimits.

ArXiv.

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

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, Delfina Sol, Lazzari, Nicolas, 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, Delfina Sol, Lazzari, Nicolas, van Erp, M., Presutti, Valentina (2023) Hypericons for Abstract Concepts: Non-traditional Approaches to Visual Explainability.

International Journal of Digital Humanities, Vol. 5 (pp 451–490)

Article | https://doi.org/10.1007/s42803-023-00077-8 | UvA-DARE

Martinez Pandiani, Delfina Sol, 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, Delfina Sol, 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, Delfina Sol, 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, Delfina Sol, Sang, Erik Tjong Kim, Ceolin, Davide (2024) Toxic Memes: A Survey of Computational Perspectives on the Detection and Explanation of Meme Toxicities.

arXiv preprint arXiv:2406.07353

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

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

Paper | UvA-DARE