Maricarmen Martínez

Publication Activity (10 Years)

Years Active: 2001-2019
Publications (10 Years): 2

Top Topics

Situation Calculus

Algorithmic Aspects

Information Sources

Top Venues

Ann. Math. Artif. Intell.

Publications

Lawrence S. Moss, Maricarmen Martínez, Xavier Caicedo, Ruy J. G. B. de Queiroz
25th Workshop on Logic, Language, Information and Computation (WoLLIC 2018). Log. J. IGPL 27 (5) (2019)
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
Theory blending: extended algorithmic aspects and examples. Ann. Math. Artif. Intell. 80 (1) (2017)
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
Algorithmic Aspects of Theory Blending. AISC (2014)
Maricarmen Martínez, Tarek R. Besold, Ahmed Mohammed Hassan Abdel-Fattah, Kai-Uwe Kühnberger, Helmar Gust, Martin Schmidt, Ulf Krumnack
Towards a Domain-Independent Computational Framework for Theory Blending. AAAI Fall Symposium: Advances in Cognitive Systems (2011)
Helmar Gust, Ulf Krumnack, Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Kai-Uwe Kühnberger
Rationality and General Intelligence. AGI (2011)
Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack
A computational account of conceptual blending in basic mathematics. Cogn. Syst. Res. 12 (3-4) (2011)
Maricarmen Martínez
Some Closure Properties of Finite Definitions. Stud Logica 68 (1) (2001)