Artificial Intelligence: knowledge representation, logic programming, knowledge inference. Application domains within the discipline of Artificial Intelligence include logical and probabilistic reasoning, natural language understanding, vision and expert systems.