Martin Schmidt

According to our database, Martin Schmidt authored at least 14 papers between 2011 and 2017.

Collaborative distances:

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

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

2016

Coalgebraic logic programming: from Semantics to Implementation.

Ekaterina Komendantskaya, John Power, Martin Schmidt

J. Log. Comput., 2016

A Productivity Checker for Logic Programming.

Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt

Proceedings of the Logic-Based Program Synthesis and Transformation, 2016

2014

Heuristic-Driven Theory Projection: An Overview.

Martin Schmidt, Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger

Proceedings of the Computational Approaches to Analogical Reasoning: Current Trends, 2014

Guarding (Co)Recursion in Coalgebraic Logic Programming.

Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt

CoRR, 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

2013

Exploiting Parallelism in Coalgebraic Logic Programming.

Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras

Proceedings of the Workshop on Algebra, Coalgebra and Topology, 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, Stefan Schneider

Proceedings of the Second Interdisciplinary Workshop The Shape of Things, 2013

Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase.

Tarek Richard Besold, Alison Pease, Martin Schmidt

Proceedings of the 35th Annual Meeting of the Cognitive Science Society, 2013

2012

Rationality-Guided AGI as Cognitive Systems.

Ahmed M. H. Abdel-Fattah, Tarek Richard Besold, Helmar Gust, Ulf Krumnack, Martin Schmidt, Kai-Uwe Kühnberger, Pei Wang

Proceedings of the 34th Annual Meeting of the Cognitive Science Society, 2012

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

Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.

Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack

Proceedings of the KI 2011: Advances in Artificial Intelligence, 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