Knowledge representation
Logic
Constraint programming
Computational topology
Region connection calculus
Mathematics
Mathematical logic
Cognitive science