Martin Schmidt

17 papers B 2C 1Misc 2Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2017 J jnl
Theory blending: extended algorithmic aspects and examples.
Ann. Math. Artif. Intell.
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
2016 C conf
A Productivity Checker for Logic Programming.
LOPSTR
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
2016 J jnl
A Productivity Checker for Logic Programming.
CoRR
Ekaterina Komendantskaya, Patricia Johann, Martin Schmidt
2016 J jnl
Coalgebraic logic programming: from Semantics to Implementation.
J. Log. Comput.
Ekaterina Komendantskaya, John Power, Martin Schmidt
2014 Misc conf
Algorithmic Aspects of Theory Blending.
AISC
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
2014 J jnl
Guarding (Co)Recursion in Coalgebraic Logic Programming.
CoRR
Jónathan Heras, Ekaterina Komendantskaya, Martin Schmidt
2014 — ch.
Heuristic-Driven Theory Projection: An Overview.
Computational Approaches to Analogical Reasoning
Martin Schmidt, Ulf Krumnack, Helmar Gust, Kai-Uwe Kühnberger
2013 B conf
Analogy and Arithmetics: An HDTP-Based Model of the Calculation Circular Staircase.
CogSci
Tarek Richard Besold, Alison Pease, Martin Schmidt
2013 J jnl
Coalgebraic Logic Programming: from Semantics to Implementation.
CoRR
Ekaterina Komendantskaya, John Power, Martin Schmidt
2013 J jnl
Exploiting Parallelism in Coalgebraic Logic Programming.
CoRR
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
2013 — conf
Exploiting Parallelism in Coalgebraic Logic Programming.
WACT
Ekaterina Komendantskaya, Martin Schmidt, Jónathan Heras
2013 — conf
Sketch Learning by Analogy.
SHAPES
Ulf Krumnack, Angela Schwering, Kai-Uwe Kühnberger, Helmar Gust, Ahmed M. H. Abdel-Fattah, Tarek R. Besold, Martin Schmidt, Stefan Schneider
2012 B conf
Rationality-Guided AGI as Cognitive Systems.
CogSci
Ahmed M. H. Abdel-Fattah, Tarek Richard Besold, Helmar Gust, Ulf Krumnack, Martin Schmidt, Kai-Uwe Kühnberger, Pei Wang
2011 J jnl
A computational account of conceptual blending in basic mathematics.
Cogn. Syst. Res.
Markus Guhe, Alison Pease, Alan Smaill, Maricarmen Martínez, Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack
2011 — conf
Rationality and General Intelligence.
AGI
Helmar Gust, Ulf Krumnack, Maricarmen Martínez, Ahmed M. H. Abdel-Fattah, Martin Schmidt, Kai-Uwe Kühnberger
2011 Misc conf
Refinements of Restricted Higher-Order Anti-Unification for Heuristic-Driven Theory Projection.
KI
Martin Schmidt, Helmar Gust, Kai-Uwe Kühnberger, Ulf Krumnack
2011 — conf
Towards a Domain-Independent Computational Framework for Theory Blending.
AAAI Fall Symposium: Advances in Cognitive Systems
Maricarmen Martínez, Tarek R. Besold, Ahmed Mohammed Hassan Abdel-Fattah, Kai-Uwe Kühnberger, Helmar Gust, Martin Schmidt, Ulf Krumnack