Maricarmen Martínez

According to our database, Maricarmen Martínez authored at least 7 papers between 2001 and 2019.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2019

25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018).

Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz

Log. J. IGPL, 2019

2017

Theory blending: extended algorithmic aspects and examples.

Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Ulf Krumnack, Danny Gómez-Ramírez, Alan Smaill, Tarek Richard Besold, Alison Pease, Martin Schmidt, Markus Guhe, Kai-Uwe Kühnberger

Ann. Math. Artif. Intell., 2017

2014

Algorithmic Aspects of Theory Blending.

Maricarmen Martínez, Ulf Krumnack, Alan Smaill, Tarek Richard Besold, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Markus Guhe, Alison Pease

Proceedings of the Artificial Intelligence and Symbolic Computation, 2014

2011

A computational account of conceptual blending in basic mathematics.

Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack

Cogn. Syst. Res., 2011

Rationality and General Intelligence.

Helmar Gust, Ulf Krumnack, Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Kai-Uwe Kühnberger

Proceedings of the Artificial General Intelligence - 4th International Conference, 2011

Towards a Domain-Independent Computational Framework for Theory Blending.

Maricarmen Martínez, Tarek R. Besold, Ahmed Mohammed Hassan Abdel-Fattah, Kai-Uwe Kühnberger, Helmar Gust, Martin Schmidt, Ulf Krumnack

Proceedings of the Advances in Cognitive Systems, 2011

2001

Some Closure Properties of Finite Definitions.

Maricarmen Martínez

Stud Logica, 2001