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