Associate Professor

Department of Mathematics
Universidad de los Andes
Carrera 1 No. 18A 10111711 Bogotá, Colombia

Office: H-302
Phone: +57-1-3394949 Ext.5214
Email address: m.martinez (at uniandes dot edu dot co)

Research Area: Applied logic.

I am particularly interested in how logical tools can aid in two areas: the study of reasoning from a cognitive point of view and the study of semantic information content.

Curriculum Vitae: available in English and Spanish.

Teaching Second Semester 2015:

  • Matemática Estructural


Articles, book chapters, conference papers

  • Martinez, M. , Krumnack, U., Smaill, A., Besold, T.R., Abdel-Fattah, A., Schmidt, M., Gust, H., Kühnberger K-U., Guhe, M., and Pease A. (2014). Algorithmic Aspects of Theory Blending. In Aranda-Corral G. A.,Martín-Mateos F. J. & Calmet J. (Eds.), Artificial Intelligence and Symbolic Computation, LNCS (LNAI), Volume 8884, 178-190, Springer.
  • Stefaneas, P., Vandoulakis, I., Martinez, M. and Foundalis, H. (2014). Collective Discovery Events: Web-based Mathematical Problem-solving with Codelets. In T. Besold, K-U. Kühnberger, M. Schorlemmer, & A. Smaill (Eds.), Computational Creativity Research: Towards Creative Machines. Studies in Computational Cognition. Atlantis-Springer.
  • Martinez, M. & Sequoiah-Grayson, S. (2014). Logic and Information. Invited entry in the Stanford Encyclopedia of Philosophy (SEP), Stanford (CSLI).
  • Martinez, M., Besold, T.R., Abdel-Fattah, A., Gust, H., Schmidt, M., Krumnack, U., & Kühnberger K-U. (2012). Theory Blending as a Framework for Creativity in Systems for General Intelligence. In P. Wang & B. Goertzel (Eds.), Theoretical Foundations of AGI. Atlantis Press.
  • Stefaneas, P., Vandoulakis, I.. Foundalis, H and Martinez, M., (2012). Web-Based Mathematical problem-solving with Codelets. In T. Besold, K-U. Kühnberger, M. Schorlemmer, & A. Smaill (Eds.), Proceedings of the Workshop ``Computational Creativity, Concept Invention, and General Intelligence''. PICS (Publications of the Institute of Cognitive Science), Volume 1-2012, 41-44.
  • Martinez, M., Besold, T.R., Abdel-Fattah, A., Kühnberger K-U., Gust, H., Schmidt, M., & Krumnack, U. (2011). Towards a Domain-independent Computational Framework for Theory-Blending. Advances in Cognitive Systems. In AAAI Technical Report of the AAAI Fall 2011 Symposium on Advances in Cognitive Systems, pages 210-217.
  • Guhe, M., Pease, A., Smaill, A., Martinez, M., Schmidt, M., Gust, H., Kühnberger, K-U., & Krumnack, U. (2011). A Computational Account of Conceptual Blending in Basic Mathematics. Cognitive Systems Research, 12 (3-4), 249-265. Special Issue on Complex Cognition. doi: 10.1016/j.cogsys.2011.01.004
  • Gust, H., Krumnack, U., Martinez, M., Abdel-Fattah, A., Schmidt, M., & Kühnberger K-U. (2011). Rationality and General Intelligence In J. Schmidhuber, K.R. Thórisson, & M. Looks (Eds.), Artificial General Intelligence, LNCS (LNAI), Volume 6830, 174-183, Springer.
  • van Benthem, J. & Martinez, M. (2008). The Stories of Logic and Information. In J. van Benthem & P. Adriaans (Eds.), Handbook of the Philosophy of Information. Amsterdam: Elsevier.
  • Foundalis, H. & Martinez, M. (2007). A generalization of Hebbian learning in perceptual and conceptual categorization. In S. Vosniadou, D. Kayser, & A. Protopapas (Eds.), Proceedings of the European Cognitive Science Society Conference 2007, New York, NY: Lawrence Erlbaum Associates, Inc.
  • Martinez, M. (2003). Towards a Model of Heterogeneous Commonsense Reasoning, Matemática Contemporánea, 24, 141-168. Special issue with selected extended papers from the 8th Workshop on Logic, Language, Information and Computation -WoLLIC'2001.
  • Martinez, M. (2001). Some Closure Properties of Finite Definitions. Studia Logica, 68, 43-68.


  • Martinez, M. (2004). Commonsense Reasoning via Product State Spaces (Doctoral dissertation). Available from: Dissertation Express database. (UMI No. 3141609)
  • Martinez, M. (1997). Algebraic and Topological Structure of the Space of Products (unpublished master thesis). Universidad de los Andes, Colombia.
  • Martinez, M. (1995). Encadenamiento hacia atrás en la red RETE (unpublished undergraduate thesis).Universidad de los Andes, Colombia.

Abstracts in refereed conferences:

  • Guhe, M., Pease, M., Smaill, A., Martinez, M., Schmidt, M., Gust, H., Kühnberger K-U., & Krumnack U. (2010). Conceptual Blending of Fractions and Real Numbers in Mathematical Discovery. In J. Haack & H. Wiese (eds), Proceedings of KogWis 2010, the 10th Biannual Meeting of the German Society for Cognitive Science, 109-110. Universiättsverlag Potsdam.

Last update: September 6, 2015