Martinez Pandiani, Delfina Sol (2020) Semantic & Interactive Technologies for Civic Education: Ancient Classical Polychromy as a Case Study.

Paper | UvA-DARE

Martinez Pandiani, Delfina Sol (2024) Mind the gaps: cognitive-inspired AI for high-level visual sensemaking. Towards abstract concept image classification.

Thesis, fully external | https://doi.org/10.48676/unibo/amsdottorato/11284 | UvA-DARE

Martinez Pandiani, Delfina Sol (2024) The wicked problem of naming the intangible: Abstract concepts, binary thinking, and computer vision labels.

Future Humanities, Vol. 2 (pp e11)

Article | https://doi.org/10.1002/fhu2.11 | UvA-DARE

Martinez Pandiani, Delfina Sol (2024) Bridging the Gap: Decoding Abstract Concepts in Cultural Heritage Images.

In 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

Marx, M., Dastani, M.M. (2002) Anaphoric definitions in description logic.

Lecture Notes in Computer Science, Vol. 2510 (pp 410-417)

Article | UvA-DARE

Marx, M., de Rijke, M. (2004) Semantic characterizations of navigational XPath.

In Mihajlovic, V. Hiemstra, D. (Eds.), Proceedings of the First Twente Data Management Workshop (pp 67-73)

Marx, M., Hoogland, E., Otto, M. (1999) Beth Definability for the Guarded Fragment.

In McAllester, D. Ganzinger, H. Voronkov, A. (Eds.), Logic for Programming and Automated Reasoning (pp 273-285). Springer-Verlag.

Marx, M., Kamps, J., de Rijke, M. (2002) The University of Amsterdam at INEX-2002.

In Fuhr, N. Gövert, N. Kazai, G. Lalmas, M. (Eds.), INEX 2002 Workshop Proceedings (pp 24-28)

Marx, M., Kamps, J. (2023) Digitaal duurzaam publiceren van Woo-dossiers: Een onderzoek naar de stand van zaken.

Archievenblad, Vol. 123 (pp 20-23)

Article | UvA-DARE

Marx, M., Larooij, M., Enthoven, G., Kamps, J. (2023) Het Woogle Woo-dossiercorpus.

Nederlands Juristenblad, Vol. 98 (pp 3238-3239)

Article | https://www.inview.nl/document/id5cfdbafaf94944da82f6d54d7d946120?ctx=WKNL_CSL_85 | UvA-DARE

Marx, M., Larooij, M., Perasedillo, F., Kamps, J. (2023) Enticing Local Governments to Produce FAIR Freedom of Information Act Dossiers.

In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp 269-274) (Lecture Notes in Computer Science, Vol. 13982). Springer.

Marx, M., Masuch, J.M.F. (2001) Regular equivalence and dynamic logic.

Technical Report, Applied Logic Laboratory. Institute for Logic, Language and Computation.

Report | UvA-DARE

Marx, M., Masuch, J.M.F. (2003) Regular equivalence and dynamic logic.

Social Networks, Vol. 25 (pp 51-65)

Article | https://doi.org/10.1016/S0378-8733(02)00036-9 | UvA-DARE

Marx, M., Masuch, M. (2002) Regular Equivalence and Dynamic Logic.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulas, S., Nemeti, I. (1995) Taming Logic.

Journal of Logic, Language and Information, Vol. 4 (pp 207-226)

Article | UvA-DARE

Marx, M., Mikulas, S. (1995) A Technology for Obtaining Well-behaved and Strong Algebras of Relations.

In Nieuwendijk, A. (Eds.), Proceedings Accolade '94. Dutch Graduate School in Logic.

Marx, M., Mikulas, S. (2000) Products, or How to Create Modal Logics of High Complexity.

Technical Reports. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

Marx, M., Mikulás, Sz. (2001) Products, or how to create modal logics of high complexity.

Logic Journal of the IGPL, Vol. 9 (pp 77-88)

Article | UvA-DARE