Giáo trình trí tuệ nhân tạo: Phần II: Tri thức và lập luận (Đại học Quốc gia Hà Nội, 2011)