On the Computational Complexity of Analogy Derivation in the Structure-Mapping Framework

Faculty of Computer Science, University of New Brunswick Fredericton, 1 Fredericton, NB, Canada Department of Computer Science, Memorial University of Newfoundland, 2 St. John’s, NF, Canada Abteilung für Mathematishe Logik, Albert-Ludwigs-Universität Freiburg, 3 Freiburg, Germany Nijmegen Institute for Cognition and Information, Radboud University 4 Nijmegen, Nijmegen, The Netherlands Department of Computer Science, Memorial University of Newfoundland, 5 St. John’s, NL, Canada