A course at Birzeit University by Dr. Jarrar

Introduction
Intelligent Agents
Uniformed Search
Informed Search
Games
PLogic
First Order Logic: Introduction
First Order Logic: Inference
Description Logic
Ontology Part1: Introduction
Ontology Part2: What Is Ontology?
Ontology Part3: Double Articulation
Ontology Part4: Methodologies
Ontology Part5: eGovernment Case Study