College of Science and Engineering

School of Informatics (Schedule O)

? Code	? Course Name	? Req.	? Period	? Crdts
U02497	Agent Based Systems	yes	S2	10
P00856	Fundamentals of Artificial Intelligence	yes	S1	10
P01364	Fundamentals of Artificial Intelligence (VS1)	yes	S1	10
U02495	Knowledge Representation and Inference	yes	S2	10
U02494	Logic Programming	yes	S1	10
U02989	Logic Programming (VS1)	yes	S1	10

? Code	? Course Name	? Req.	? Period	? Crdts
U02493	Automated Reasoning (Level 10)	yes	S1	10
U02409	Automated Reasoning (Level 10) (VS1)	yes	S1	10
U01943	Cognitive Modelling (Level 10)	yes	S2	10
U03534	Cognitive Modelling (Level 10) (VS1)	yes	*	10
U01972	Human-Computer Interaction (Level 10)	yes	S1	10
U02403	Human-Computer Interaction (Level 10) (VS1)	yes	S1	10
U02496	Knowledge Modelling and Management (Level 10)	yes	S2	10
U02227	Multi-agent Semantic Web Systems (Level 10)	yes	S2	10
U01948	Theories of Mind (Level 10)	yes	S1	10
U02946	Theories of Mind (Level 10) (VS1)	yes	S1	10

? Code	? Course Name	? Req.	? Period	? Crdts
P01197	Automated Planning	yes	S1	10
P02447	Automated Planning (VS1)	yes	S1	10
P01193	Automated Reasoning (Level 11)	yes	S1	10
P00847	Cognitive Modelling (Level 11)	yes	S2	10
P00905	Human-Computer Interaction (Level 11)	yes	S1	10
P01196	Knowledge Modelling and Management (Level 11)	yes	S2	10
P01198	Multi-agent Semantic Web Systems (Level 11)	yes	S2	10
P00872	Propositional Methods	yes	*	10
P00850	Theories of Mind (Level 11)	yes	S1	10