CS430/530: AI Programming--Syllabus (REVISED)