Semantic Artificial Intelligence
The key concept in semantic artificial intelligence is the rappresentation of knowledge in terms of entities and their relationships rather than plain strings. Formal logic plays an important role in the area of knowledge representation and reasoning. Statistical and logical inference on these models is an important research area in Computer Science and Artificial Intelligence.