Moss L, De R, Martinez M. (2018)
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Book
Maricarmen Martinez Baldares
Maricarmen Martinez Baldares
Doctor Of Philosophy
m.martinez @uniandes.edu.co
Office: H-102
Extension: 5214
Profile
I am an Associate Professor at the Department of Mathematics (Universidad de los Andes). My doctoral studies were on Mathematics (especifically on Logic) and Cognitive Sciences. My interests focus on the intersection and interaction of logic and computer science with various disciplines.
Recent Courses
- 2022
CÁLCULO INTEGRAL-ECUAC.DIFEREN
First period
Bachelor Level
- 2021
CÁLCULO INTEGRAL-ECUAC.DIFEREN
First period
Bachelor Level
Recent Products
Martinez M, Abdel-Fattah A, Krumnack U, Gómez-ramírez D, Smaill A, Pease A, Schmidt M, Guhe M, Kühnberger K-U, Gómez-ramírez D. (2017)
Theory blending: extended algorithmic aspects and examples
Annals of Mathematics and Artificial Intelligence (ISSN 1012-2443)
Article
Recent Degrees
Doctor Of Philosophy
Doctoral degree
Indiana University
2004
Estados Unidos
Magíster En Matemáticas
Master degree
Universidad De Los Andes
1997
Colombia
Recent Projects
- 2007
- Modelaje matemático de flujo de información, inferencia y aprendizaje
Duration: 36 months
PR.3.2006.319.m.martinez
Courses
- 2022
CÁLCULO INTEGRAL-ECUAC.DIFEREN
First period
Bachelor Level
- 2021
- 2020
- 2019
- 2018
- 2017
- 2016
- 2015
- 2014
- 2013
Products
Moss L, De R, Martinez M. (2018)
Logic, Language, Information, and Computation 25th International Workshop, WoLLIC 2018, Bogota, Colombia, July 24-27, 2018, Proceedings
Book
Martinez M, Abdel-Fattah A, Krumnack U, Gómez-ramírez D, Smaill A, Pease A, Schmidt M, Guhe M, Kühnberger K-U, Gómez-ramírez D. (2017)
Theory blending: extended algorithmic aspects and examples
Annals of Mathematics and Artificial Intelligence (ISSN 1012-2443)
Article
Ceron S .(2016). Kleene’s Second Recursion Theorem: Overview, Implementation and Applications to Computer Virology.
Kleene’s Second Recursion Theorem: Overview, Implementation and Applications to Computer Virology
Thesis
Martinez M, Krumnack U, Smaill A, Besold T, Abdel-Fattah A, Schmidt M, Gust H, Kühnberger K-U, Guhe M, Pease A. (2014)
Algorithmic Aspects of Theory Blending
Lecture Notes in Computer Science (ISSN 0302-9743)
Article
Gonzalez F .(2014). Algoritmos de clustering en grafos estáticos y retos en grafos dinámicos.
Algoritmos de clustering en grafos estáticos y retos en grafos dinámicos
Thesis
Stefaneas P, Vandoulakis I, Martinez M, Foundalis H. (2014)
Collective Discovery Events: Web-Based Mathematical Problem-Solving with Codelets
Computational Creativity Research: Towards Creative Machines (ISBN 978-94-6239-084-3)
Inbook
Martinez M, Sequoiah-Grayson S. (2014)
Logic and Information
Stanford Encyclopedia of Philosophy (ISSN 1095-5054)
Article
Guzman L .(2013). Acercamiento Cuantitativo y Cualitativo a la Teoría de la Información y Estimadores de la Entropía.
Acercamiento Cuantitativo y Cualitativo a la Teoría de la Información y Estimadores de la Entropía
Thesis
Ayala D .(2013). Definiciones Circulares, Conjuntos Circulares y el Predicado de Verdad.
Definiciones Circulares, Conjuntos Circulares y el Predicado de Verdad
Thesis
Martinez M, Besold T, 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
Theoretical Foundations of Artificial General Intelligence (ISBN 978-94-91216-61-9)
Inbook
Stefaneas P, Vandoulakis I, Foundalis H, Martinez M. (2012)
Web-Based Mathematical Problem-solving with Codelets
Workshop on Computational Creativity, Concept Invention, and General Intelligence
Inproceeding
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 (ISSN 1389-0417)
Article
Gust H, Krumnack U, Martinez M, Abdel-Fattah A, Schmidt M, Kühnberger K-U. (2011)
Rationality and General Intelligence
Lecture Notes in Computer Science (ISSN 0302-9743)
Article
Martinez M, Besold T, Abdel-Fattah A, Kühnberger K-U, Gust H, Schmidt M, Krumnack U. (2011)
Towards a domain-independent computational framework for theory blending
2011 AAAI Fall Symposium
Inproceeding
Martinez M, van Benthem J. (2008)
The Stories of Logic and Information
Philosophy of Information (ISBN 978-0-444-51726-5)
Inbook
Foundalis H, Martinez M. (2007)
A generalization of Hebbian learning in perceptual and conceptual categorization
Proceedings of the European Cognitive Science Conference 2007 (ISBN 9781841696966)
Inbook
Martinez M. (2003)
Towards a Model of Heterogeneous Commonsense Reasoning
Matemática Contemporânea (ISSN 0103-9059)
Article
Martinez M. (2001)
Some Closure Properties of Finite Definitions
Studia Logica (ISSN 0039-3215)
Article
Degrees
Doctor Of Philosophy
Doctoral degree
Indiana University
2004
Estados Unidos
Magíster En Matemáticas
Master degree
Universidad De Los Andes
1997
Colombia
Ingeniera De Sistemas Y Computación
Bachelor degree
Universidad De Los Andes
1995
Colombia
Projects
- 2007
- Modelaje matemático de flujo de información, inferencia y aprendizaje
Duration: 36 months
PR.3.2006.319.m.martinez
Sitio Web
Para consultar mi sitio web: Aquí