Searchable List of Research Output

Filter Publications
  • 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.
    Conference contribution | 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., 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)
  • 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)
  • Marti, J.F. (2016) Interpreting linguistic behavior with possible world models.
    Thesis, fully internal | UvA-DARE
  • Martinez Pandiani, Delfina S., 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.
    Conference contribution | https://doi.org/10.3233/SSW240008 | UvA-DARE
  • Martinez Pandiani, Delfina S., 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)
  • Martinez Pandiani, Delfina 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)
    Conference contribution | https://ceur-ws.org/Vol-3064/mdk3.pdf | UvA-DARE
  • Martinez Pandiani, Delfina 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, Delfina S., Presutti, Valentina (2023) Seeing the Intangible: Survey of Image Classification into High-Level and Abstract Categories.
    arXiv e-prints (pp arXiv-2308)
  • Martinez Pandiani, Delfina S., Sang, Erik Tjong Kim, Ceolin, Davide (2024) Toxic Memes: A Survey of Computational Perspectives on the Detection and Explanation of Meme Toxicities.
  • Martinez Pandiani, Delfina 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, Delfina S. (2020) Semantic & Interactive Technologies for Civic Education: Ancient Classical Polychromy as a Case Study.
    Paper | UvA-DARE
  • Martinez Pandiani, Delfina S. (2024) The wicked problem of naming the intangible: Abstract concepts, binary thinking, and computer vision labels.
    Future Humanities, Vol. 2
  • Martinez Pandiani, Delfina 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.

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact