Knowledge Representation and Reasoning

Research in knowledge representation and reasoning has a long history in artificial intelligence and logic-based approaches have played a major part in the fields development. In this course we will s