Publications
“A Diagrammatic Proof Search Procedure As Part Of A Formal Approach To Problem Solving” . Model Based Reasoning in Science and Engineering. Cognitive Science, Epistemology, Logic: 265–284.
. 2006. “The Feasibility Of Modeling Hypothetical Reasoning By Formal Logics. Including An Overview Of Adaptive Logics For Singular Fact Abduction” . Handbook of Model-Based Science.
. In Press. “A Logical Approach To The Analysis Of Metaphors” . Logical and Computational Aspects of Model-Based Reasoning 25: 21–37.
. 2002. “Model-Based Reasoning In Creative Processes” . Model-Based Reasoning in Scientific Discovery: 199–217.
. 1999. “Pauli's Idea Of The Neutrino: How Models In Physics Allow To Revive Old Ideas For New Purposes” . Model-based reasoning in science and technology : theoretical and cognitive issues: 449-461.
. 2013. “The Symbolic Model For Algebra: Functions And Mechanisms” . Model-Based Reasoning in Science and Technology 314: 519–532. http://dx.doi.org/10.1007/978-3-642-15223-8\_29.
. 2010.