Artificial Intelligence (incl. Robotics) Artificial intelligence Computer Science Computer logic Computer science Decision making Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematical logic Operation Research/Decision Theory Operations research Programming Languages, Compilers, Interpreters Programming languages (Electronic computers)