Artificial Intelligence Artificial intelligence Computation by Abstract Devices Computer programming Computers Mathematical Logic and Formal Languages Mathematical logic Programming Techniques Application software Computer logic Data Mining and Knowledge Discovery Data mining Information Systems Applications (incl. Internet) Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Programming languages (Electronic computers)