uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter 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)
  • 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, 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.
    Conference contribution | https://doi.org/10.3233/SSW240008 | UvA-DARE
  • Martinez Pandiani, D.S., Streefkerk, Ella, Naudts, Laurens, Helm, Paula (2026) From Vulnerable Data Subjects to Vulnerabilizing Data Practices: Navigating the Protection Paradox in AI-Based Analyses of Platformized Lives.
    In ACM FAccT 2026: Proceedings of the 9th annual ACM Conference on Fairness, Accountability, and Transparency : June 25-28, 2026, Montréal, Canada (pp 106-128). Association for Computing Machinery.
  • 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
  • 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.
  • 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) 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 Pandiani, D.S. (2024) The wicked problem of naming the intangible: Abstract concepts, binary thinking, and computer vision labels.
    Future Humanities, Vol. 2
  • Martinez Pandiani, D.S. (2025) Follow the glitch: Generative failures and creative navigation.
    Abstract | UvA-DARE
  • Martinez Pandiani, D.S. (2026) Tracing a memetic journey: From South American death flights to free helicopter ride memes.
    In AoIR2025: Research from the Annual Conference of the Association of Internet Researchers (Selected Papers of Internet Research, Vol. 2025). Association of Internet Researchers.
  • Martinez Pandiani, D.S. (2026) Cultural boundaries in latent space: Iterative image prompting as method and meaning-making.
    Abstract | UvA-DARE
  • Martinez Pandiani, D.S. (2026) Memes, Memory, and Digital Coloniality: Tracing the Global Afterlives of South American Death Flights.
  • 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
1 ... 207 208 209 210 211 212 213 214 215 ... 346

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