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 002; Ulf Krumnack (AAAI Fall Symposium: Advances in Cognitive Systems, 2011)

Rationality and General Intelligence. - Helmar Gust; Ulf Krumnack; Maricarmen Martínez; Ahmed M. H. Abdel-Fattah; Martin Schmidt 002; Kai-Uwe Kühnberger (AGI, 2011)

Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection. - Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Ulf Krumnack (KI, 2011)

A computational account of conceptual blending in basic mathematics. - Markus Guhe; Alison Pease; Alan Smaill; Maricarmen Martínez; Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Ulf Krumnack (Cogn. Syst. Res., 2011)

Rationality-Guided AGI as Cognitive Systems. - Ahmed M. H. Abdel-Fattah; Tarek Richard Besold; Helmar Gust; Ulf Krumnack; Martin Schmidt 002; Kai-Uwe Kühnberger; Pei Wang (CogSci, 2012)

Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase. - Tarek Richard Besold; Alison Pease; Martin Schmidt 002 (CogSci, 2013)

Sketch Learning by Analogy. - Ulf Krumnack; Angela Schwering; Kai-Uwe Kühnberger; Helmar Gust; Ahmed M. H. Abdel-Fattah; Tarek R. Besold; Martin Schmidt 002; Stefan Schneider 002 (SHAPES, 2013)

Exploiting Parallelism in Coalgebraic Logic Programming. - Ekaterina Komendantskaya; Martin Schmidt 002; Jónathan Heras (WACT, 2013)

Algorithmic Aspects of Theory Blending. - Maricarmen Martínez; Ulf Krumnack; Alan Smaill; Tarek Richard Besold; Ahmed M. H. Abdel-Fattah; Martin Schmidt 002; Helmar Gust; Kai-Uwe Kühnberger; Markus Guhe; Alison Pease (AISC, 2014)

Guarding (Co)Recursion in Coalgebraic Logic Programming. - Jónathan Heras; Ekaterina Komendantskaya; Martin Schmidt 002 (CoRR, 2014)

Heuristic-Driven Theory Projection: An Overview. - Martin Schmidt 002; Ulf Krumnack; Helmar Gust; Kai-Uwe Kühnberger (Computational Approaches to Analogical Reasoning, 2014)

A Productivity Checker for Logic Programming. - Ekaterina Komendantskaya; Patricia Johann; Martin Schmidt 002 (LOPSTR, 2016)

Coalgebraic logic programming: from Semantics to Implementation. - Ekaterina Komendantskaya; John Power; Martin Schmidt 002 (J. Log. Comput., 2016)

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 002; Markus Guhe; Kai-Uwe Kühnberger (Ann. Math. Artif. Intell., 2017)