Marcheggiani, D., Titov, I. (2020) Graph convolutions over constituent trees for syntax-aware semantic role labeling.

In Webber, B. Cohn, T. He, Y. Liu, Y. (Eds.), 2020 Conference on Empirical Methods in Natural Language Processing: EMNLP 2020 : proceedings of the conference : November 16-20, 2020 (pp 3915-3928). The Association for Computational Linguistics.

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

ArXiv.

Preprint | https://doi.org/10.48550/arXiv.1312.0432 | 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

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., 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., 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, 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., 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