Intelligent Systems, University College London
Focuses on theory of logic and learning, and applied intelligent systems. Methodolgies range from traditional knowledge-based systems and neural networks to machine learning, agents, and evolutionary computation.