Heuristic-Driven Theory Projection: An Overview
From MaRDI portal
Publication:5739525
DOI10.1007/978-3-642-54516-0_7zbMath1341.68232OpenAlexW778417786MaRDI QIDQ5739525
Kai-Uwe Kühnberger, Martin Schmidt, Ulf Krumnack, Helmar Gust
Publication date: 18 July 2016
Published in: Computational Approaches to Analogical Reasoning: Current Trends (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-54516-0_7
Related Items
Theory blending: extended algorithmic aspects and examples ⋮ Unnamed Item ⋮ Higher-order pattern generalization modulo equational theories ⋮ A Generic Framework for Higher-Order Generalizations.
Cites Work