Artificial Intelligence & Expert Systems
Course Description :

Propositional logic, First order logic, Representing simple domains in First order logic,  Resolution refutation proofs; Natural deduction Proofs,  Logic programming  (Prolog),  Negation as failure, Exhaustive search methods; Heuristic search methods; Production  systems; Architecture of expert systems. Knowledge acquisition, planning and scheduling; Rule-Based, Case-based reasoning, Model-based reasoning

Department :Computer Information Systems
Program :MSc. of Information Systems
Course Level :Master
Course Outline :

King Abdullah II School of Information Technology
Department of Computer Information Systems
There are no items to show in this view.


  • 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