Artificial intelligence
Structure mapping engine
Matrix
Qualitative Reasoning Group
Analogy
Logic
Cognition
Philosophical logic