Artificial Intelligence incl Robotics., Artificial intelligence, Computer Science, Computer science, Database Management, Database management, Mathematical Logic and Formal Languages, Mathematical logic.