Knowledge representation
Reasoning
Constraint programming
Cognition
Computational topology
Region connection calculus
Mathematics
Cognitive science
Logic