Artificial Intelligence Artificial intelligence Mathematical Logic and Formal Languages Mathematical logic Algorithms Algorithm Analysis and Problem Complexity Computers Database management Information Storage and Retrieval Information storage and retrieval Pattern Recognition Pattern recognition Data Mining and Knowledge Discovery Data mining Database Management Application software Computer logic Congresses Image Processing and Computer Vision Information Systems Applications (incl. Internet) Optical data processing Astrophysics Computation by Abstract Devices Computer science—Mathematics Discrete Mathematics in Computer Science International Political Economy Logics and Meanings of Programs Political economy Probabilities Probability Theory and Stochastic Processes