Knowledge Representation and Reasoning
Course Description :

The course provides an introduction on how to represent knowledge in artificial intelligence. The main focus will be on decidable fragments of first order logic that are well suited for knowledge representation. The students will explore how such logics can be used to represent knowledge, identify relevant reasoning problems and show how these can be used to support the task of constructing suitable representations. We will also consider the computational properties of these logics, and study algorithms for solving the relevant reasoning problems.

Department :Computer Information Systems
Program :Bachelor Of Artificial Intelligence
Course Level :Bachelor
Course Outline :

King Abdullah II School of Information Technology
Department of Computer Information Systems


  • Saying goodbye to my wonderful faculty is more nostalgic than simple words can describe; it has truly become a second home. ... Eman Ennab

  • King Abdullah II College for Information Technology was and still maintains the pertinent atmosphere for volunteering in many sci ... Yousef Arabiat

  • Despite having differences between the study experiences and real work experience, the university is the pillar for building care ... Abed Abuhijleh