WClasses

CS 686 - Introduction to Artificial Intelligence

Goals and methods of artificial intelligence. Methods of general problem solving. Introduction to mathematical logic Mechanical theorem proving. Game playing. Natural language processing. Preference will be given to CS graduate students. All others require approval from the department.

Prerequisites

Corequisites

None

Antirequisites

None

Offerings

Spring 2026 [1265]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3653	0 / 12
LEC 002	3797	0 / 12

Winter 2026 [1261]

Section	Class	Enrolled	Time	Days
LEC 001	5743	7 / 38	08:30 - 09:50	T,Th
LEC 002	6103	18 / 28	13:00 - 14:20	T,Th
TST 101	6586	25 / 50	19:00 - 20:50	Th

Fall 2025 [1259]

Section	Class	Enrolled	Time	Days
LEC 001	6295	7 / 10	08:30 - 09:50	M,W
LEC 001	6295	7 / 10	08:30 - 09:50	M,W
LEC 002	6561	7 / 10	16:00 - 17:20	M,W
LEC 002	6561	7 / 10	16:00 - 17:20	M,W
LEC 003	9201	3 / 10	14:30 - 15:50	M,W
LEC 003	9201	3 / 10	14:30 - 15:50	M,W
TST 101	6993	17 / 30	19:00 - 20:50	T
TST 101	6993	17 / 30	19:00 - 20:50	T

Spring 2025 [1255]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3734	0 / 12	14:30 - 15:50	T,Th
LEC 002	3887	0 / 12	11:30 - 12:50	T,Th

Winter 2025 [1251]

Section	Class	Enrolled	Time	Days
LEC 001	5824	1 / 25	14:30 - 15:50	T,Th
LEC 002	6195	4 / 25	08:30 - 09:50	T,Th
LEC 003	6694	4 / 10	13:00 - 14:20	T,Th
TST 101	8551	9 / 60	19:00 - 20:50	Th

Spring 2024 [1245]

Section	Class	Enrolled	Time	Days
LEC 001	3771	6 / 12	11:30 - 12:50	T,Th
LEC 002	3930	10 / 12	10:00 - 11:20	T,Th
LEC 003	4199	8 / 12	13:00 - 14:20	T,Th

Winter 2024 [1241]

Section	Class	Enrolled	Time	Days
LEC 001	5844	6 / 25	08:30 - 09:50	T,Th
LEC 002	6243	11 / 25	11:30 - 12:50	T,Th
LEC 003	8826	1 / 10	14:30 - 15:50	T,Th
LEC 004	8827	1 / 10	13:00 - 14:20	T,Th

Fall 2023 [1239]

Section	Class	Enrolled	Time	Days
LEC 001	6143	9 / 10	11:30 - 12:50	T,Th
LEC 002	6440	7 / 10	08:30 - 09:50	T,Th
TST 101	6998	16 / 20	19:00 - 20:50	M

Spring 2023 [1235]

Section	Class	Enrolled	Time	Days
LEC 001	3891	8 / 12	10:00 - 11:20	T,Th
LEC 002	4060	5 / 12	13:00 - 14:20	T,Th
LEC 003	5399	6 / 12	16:00 - 17:20	T,Th
TST 101	4319	19 / 36	16:30 - 18:00	F

Winter 2023 [1231]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5971	8 / 30	16:00 - 17:20	T,Th	MC 4061	Wenhu Chen
LEC 002	6413	11 / 32	14:30 - 15:50	T,Th	MC 4061	Wenhu Chen

Fall 2022 [1229]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	7248	0 / 10
LEC 002	7552	0 / 10

Spring 2022 [1225]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3669	8 / 12	14:30 - 15:50	T,Th	RCH 302	Jesse Hoey
LEC 002	3856	10 / 12	13:00 - 14:20	T,Th	RCH 302	Jesse Hoey
TST 101	5638	18 / 24	19:00 - 20:50	W

Winter 2022 [1221]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5835	10 / 30	11:30 - 12:50	T,Th	STC 0020	Blake Paul Allen Vanberlo
LEC 002	6325	12 / 33	08:30 - 09:50	T,Th	MC 4021	Blake Paul Allen Vanberlo
TST 101	6391	22 / 43	18:30 - 20:00	F

Fall 2021 [1219]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	6231	9 / 10				Alice Gao
LEC 002	6646	8 / 10				Alice Gao

Spring 2021 [1215]

Section	Class	Enrolled	Instructor
LEC 041	3426	7 / 10	Alice Gao
LEC 042	3547	8 / 10	Alice Gao
LEC 043	5392	7 / 10	Alice Gao

Winter 2021 [1211]

Section	Class	Enrolled	Instructor
LEC 041	5886	8 / 10	Alice Gao
LEC 042	6376	10 / 10	Alice Gao
TST 141	6442	18 / 20

Fall 2020 [1209]

Section	Class	Enrolled	Instructor
LEC 041	6127	9 / 10	Alice Gao
LEC 042	6542	8 / 10	Alice Gao
TST 241	6714	17 / 20
TUT 141	6853	8 / 7
TUT 142	6854	6 / 7
TUT 143	6855	3 / 6

Spring 2020 [1205]

Section	Class	Enrolled	Time	Instructor
LAB 101	5270	5 / 4
LAB 102	5271	4 / 4
LAB 103	5272	1 / 4
LEC 001	3699	7 / 10		Alice Gao
LEC 002	3886	3 / 10		Alice Gao
TST 201	5222	10 / 12	18:30 - 18:30

Winter 2020 [1201]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5730	9 / 10	16:00 - 17:20	T,Th	MC 2038	Jesse Hoey
LEC 002	6229	30 / 33	11:30 - 12:50	T,Th	RCH 307	Jesse Hoey
TST 101	6301	39 / 43	18:30 - 20:00	F

Fall 2019 [1199]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5947	9 / 10	11:30 - 12:50	M,W	PHY 235	Kate Larson
LEC 002	6378	8 / 10	08:30 - 09:50	M,W	E2 1736	Kate Larson
TST 201	6572	17 / 20	19:00 - 20:50	W
TUT 101	9301	7 / 7	10:30 - 11:20	F	RCH 305
TUT 102	9302	4 / 7	08:30 - 09:20	F	RCH 207
TUT 103	9303	6 / 6	09:30 - 10:20	F	RCH 308

Spring 2019 [1195]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3710	5 / 6	10:00 - 11:20	M,W	MC 2034	Alice Gao
LEC 002	3899	3 / 6	08:30 - 09:50	M,W	MC 2034	Alice Gao
LEC 003	5424	6 / 6	13:00 - 14:20	M,W	MC 2038	Alice Gao

Winter 2019 [1191]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5603	7 / 10	11:30 - 12:50	M,W	AL 211	Jesse Hoey
LEC 002	6122	7 / 10	08:30 - 09:50	M,W	MC 1056	Jesse Hoey
TST 101	6207	14 / 20	18:30 - 20:00	F

Fall 2018 [1189]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5793	9 / 10	13:00 - 14:20	M,W	MC 1056	Alice Gao
LEC 002	6241	10 / 10	14:30 - 15:50	M,W	MC 1056	Alice Gao
TST 101	6493	19 / 20

Spring 2018 [1185]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3600	4 / 10	11:30 - 12:50	M,W	MC 4021	Peter Van Beek
LEC 002	3796	8 / 10	16:00 - 17:20	M,W	MC 4021	Peter Van Beek

Winter 2018 [1181]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5655	8 / 10	13:00 - 14:20	M,W	RCH 307	Jesse Hoey
LEC 002	6197	3 / 10	10:00 - 11:20	M,W	RCH 309	Jesse Hoey
TST 101	6302	11 / 20

Fall 2017 [1179]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5887	10 / 14	16:00 - 17:20	M,W	MC 2054	Alan Tsang
LEC 002	6375	13 / 14	11:30 - 12:50	M,W	MC 2054	Kate Larson
TST 101	9067	23 / 28	19:00 - 20:50	W

Spring 2017 [1175]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3601	15 / 20	10:00 - 11:20	M,W	MC 4021	Pascal Poupart
LEC 002	3805	10 / 20	08:30 - 09:50	M,W	MC 4021	Pascal Poupart
TST 101	3939	25 / 40	18:30 - 20:00	F

Winter 2017 [1171]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5385	4 / 10	13:00 - 14:20	M,W	PHY 313	Kate Larson
LEC 002	5947	6 / 10	11:30 - 12:50	M,W	PHY 313	Kate Larson
TST 101	7061	10 / 20	19:00 - 20:50	Th

Fall 2016 [1169]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5865	12 / 12	11:30 - 12:50	T,Th	MC 2054	Chrysanne DiMarco
LEC 002	6390	14 / 12	16:00 - 17:20	T,Th	MC 2054	Chrysanne DiMarco

Spring 2016 [1165]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3605	8 / 8	11:30 - 12:50	M,W	MC 1056	Peter Van Beek
LEC 002	3825	7 / 8	08:30 - 09:50	M,W	MC 2034	Peter Van Beek
TST 101	4646	15 / 16

Winter 2016 [1161]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5924	5 / 10	14:30 - 15:50	W,F	MC 2035	Kate Larson
LEC 002	6541	4 / 10	16:00 - 17:20	W,F	MC 2035	Kate Larson
TST 101	7836	9 / 20	19:00 - 20:50	W

Fall 2015 [1159]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	6132	7 / 8	14:30 - 15:50	T,Th	RCH 306	Jesse Hoey
LEC 002	7733	7 / 9	11:30 - 12:50	T,Th	DWE 3516	Jesse Hoey
TST 101	7734	14 / 17

Spring 2015 [1155]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3675	5 / 8	13:00 - 14:20	T,Th	PHY 313	Pascal Poupart
LEC 002	3902	2 / 4	14:30 - 15:50	T,Th	PHY 313	Pascal Poupart
TST 101	4657	7 / 12	16:30 - 18:00	F

Winter 2015 [1151]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5711	10 / 10	11:30 - 12:50	T,Th	PHY 313	Kate Larson
LEC 002	7742	0 / 10	08:30 - 09:50	T,Th	PHY 313	John Anthony Erskine Doucette

Fall 2014 [1149]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5799	10 / 15	14:30 - 15:50	M,W	MC 2054	Chrysanne DiMarco

Spring 2014 [1145]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3584	5 / 8	14:30 - 15:50	T,Th	MC 4063	Peter Van Beek
LEC 002	3821	3 / 8	16:00 - 17:20	T,Th	MC 4063	Peter Van Beek
TST 101	4456	8 / 16

Winter 2014 [1141]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5522	10 / 10	08:30 - 09:50	T,Th	RCH 211	Pascal Poupart

Fall 2013 [1139]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5454	12 / 15	16:00 - 17:20	T,Th	MC 4045	Kate Larson

Spring 2013 [1135]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3412	0 / 5	10:00 - 11:20	T,Th	MC 4040	Jesse Hoey
LEC 002	3693	1 / 5	14:30 - 15:50	T,Th	MC 2034	Jesse Hoey
TST 101	5336	1 / 10	16:30 - 18:20	M

Winter 2013 [1131]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5278	3 / 10	08:30 - 09:50	T,Th	MC 2035	Jesse Hoey

Fall 2012 [1129]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5385	11 / 9	16:00 - 17:20	T,Th	MC 2038	Pascal Poupart

Spring 2012 [1125]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3459	6 / 10	10:00 - 11:20	T,Th	MC 2038	Peter Van Beek
LEC 002	4730	2 / 10	13:00 - 14:20	T,Th	MC 2038	Peter Van Beek

Winter 2012 [1121]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5054	5 / 6	08:30 - 09:50	T,Th	E2 1303	Pascal Poupart

Fall 2011 [1119]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5215	9 / 10	16:00 - 17:20	T,Th	MC 4045	Kate Larson

Spring 2011 [1115]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3350	2 / 10	13:00 - 14:20	T,Th	MC 2054	Chrysanne DiMarco

Winter 2011 [1111]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5008	1 / 4	08:30 - 09:50	T,Th	MC 2035	Jesse Hoey

Fall 2010 [1109]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5261	11 / 10	14:30 - 15:50	T,Th	MC 4045	Peter Van Beek

Spring 2010 [1105]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4808	6 / 10	13:00 - 14:20	T,Th	MC 2054	Chrysanne DiMarco

Winter 2010 [1101]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4957	1 / 4	08:30 - 09:50	T,Th	MC 4064	Peter Van Beek

Fall 2009 [1099]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	5001	7 / 10	14:30 - 15:50	T,Th	PHY 313	Pascal Poupart

Spring 2009 [1095]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3226	5 / 8	13:00 - 14:20	T,Th	MC 1056	Peter Van Beek

Winter 2009 [1091]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4165	4 / 5	08:30 - 09:50	T,Th	MC 4041	Kate Larson

Fall 2008 [1089]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3892	7 / 10	14:30 - 15:50	T,Th	MC 1056	Pascal Poupart

Spring 2008 [1085]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2667	2 / 5	11:30 - 12:20	M,W,F	MC 4058	Peter Van Beek

Winter 2008 [1081]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3327	0 / 5	08:30 - 09:50	T,Th	DWE 2527	Frederick William Kroon
LEC 002	3771	0 / 5

Fall 2007 [1079]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3615	3 / 10	08:30 - 09:50	T,Th	MC 4061	Kate Larson
LEC 002	3616	2 / 10	16:00 - 17:20	T,Th	MC 4045	Kate Larson

Spring 2007 [1075]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2284	4 / 5	11:30 - 12:20	M,W,F	MC 4042	Peter Van Beek
LEC 002	2319	2 / 5	08:30 - 09:20	M,W,F	MC 4042	Peter Van Beek

Winter 2007 [1071]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3261	1 / 5	08:30 - 09:50	T,Th	MC 4060	Kate Larson
LEC 002	4751	1 / 5	11:30 - 12:50	T,Th	PHY 150	Kate Larson

Fall 2006 [1069]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3517	2 / 10	10:00 - 11:20	T,Th	MC 2034	Peter Van Beek
LEC 002	3518	3 / 10	14:30 - 15:50	T,Th	MC 2034	Peter Van Beek

Spring 2006 [1065]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2275	2 / 5	08:30 - 09:50	T,Th	RCH 306	Pascal Poupart
LEC 002	2312	2 / 5	11:30 - 12:50	T,Th	MC 4060	Pascal Poupart

Winter 2006 [1061]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3132	5 / 5	13:00 - 14:20	T,Th,M,C		Kate Larson

Fall 2005 [1059]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3514	0 / 10	10:00 - 11:20	T,Th,M,C		Chrysanne DiMarco
LEC 002	3515	4 / 10	14:30 - 15:50	T,Th,M,C		Chrysanne DiMarco

Spring 2005 [1055]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2285	4 / 5	08:30 - 09:50	T,Th,R,C,H		Pascal Poupart
LEC 002	2327	2 / 5	11:30 - 12:50	T,Th,M,C		Pascal Poupart

Winter 2005 [1051]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3070	3 / 5	11:30 - 12:50	T,Th,R,C,H		Kate Larson
LEC 002	5189	1 / 5	16:00 - 17:20	T,Th,M,C		Kate Larson

Fall 2004 [1049]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3519	1 / 10	08:30 - 09:50	T,Th,M,C		Peter Van Beek
LEC 002	3520	4 / 10	11:30 - 12:50	T,Th,M,C		Peter Van Beek

Spring 2004 [1045]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2184	1 / 5	11:30 - 12:50	T,Th,M,C		Chrysanne DiMarco
LEC 002	2228	1 / 5	14:30 - 15:50	T,Th,M,C		Chrysanne DiMarco

Winter 2004 [1041]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2916	1 / 5	11:30 - 12:50	T,Th,M,C		Fletcher Lu

Fall 2003 [1039]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	3463	0 / 10	08:30 - 09:50	T,Th,M,C		Peter Van Beek
LEC 002	3464	2 / 10	14:30 - 15:50	T,Th,R,C,H		Peter Van Beek

Spring 2003 [1035]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2309	6 / 5	14:30 - 15:50	T,Th,M,C		Dale Schuurmans
LEC 002	2354	5 / 4	08:30 - 09:50	T,Th,M,C		Dale Schuurmans

Winter 2003 [1031]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	1352	4 / 10	11:30 - 12:50	T,Th,M,C		Peter Van Beek
LEC 002	1353	3 / 10	14:30 - 15:50	T,Th,R,C,H		Peter Van Beek

Fall 2002 [1029]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4663	2 / 20	08:30 - 09:50	T,Th,M,C		Dale Schuurmans
LEC 002	4664	2 / 20	14:30 - 15:50	T,Th,M,C		Dale Schuurmans

Spring 2002 [1025]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	2063	5 / 5	14:30 - 15:50	T,Th,M,C		Richard Mann
LEC 002	2746	4 / 4	08:30 - 09:50	T,Th,M,C		Vlado Keselj

Winter 2002 [1021]

Section	Class	Enrolled	Time	Days	Location	Instructor
LEC 001	4207	0 / 10	11:30 - 12:50	T,Th,M,C		Peter Van Beek
LEC 002	4208	2 / 10	14:30 - 15:50	T,Th,M,C		Peter Van Beek

Fall 2001 [1019]

Section	Class	Enrolled	Time	Days	Location	Instructor
		/