COMP6016: Knowledge Representation and Reasoning (2006-2007)

Announcements

• 18 Jan. 2007: Copies of marked coursework are available for your collection from SSO, Rm 2.3. The 05/06 exam paper is now available via http://www.intranet.man.ac.uk/past-papers/EPS/CompSci/indexnew.shtml.
• 28 Nov. 2006: Correction to week 3 coursework.
• 22 Nov. 2006: Small correction of 6016 coursework. If you didn't receive this email let us know so that we can add your address to our distribution list.
• 21 Nov. 2006: The time for the weekly deadlines has changed to the earlier time of 4pm on Mondays.
• 10 Nov. 2006: Lectures start on Tuesday, Nov 14, at 09:00. Lectures and labs should end by 17:00 every day.

Important dates

• 4:00pm, every Monday - Weekly coursework exercise deadline
• 4:00pm, Friday, 12 January - Essay handin deadline

Please let us know in good time if you have problems with the set deadlines.

Handing in your work

Please hand in your written coursework as a hard copy to the Student Support Office, Room 2.3.

Course description

The course description gives details about the aims and learning outcomes of the course, reading material, assessment, and the syllabus.

Lecturers

• Ulrike Sattler
• Renate Schmidt

Demonstrators

• Birte Glimm
• Charles Penwill

Locations and times

• Times: 9:00-17:00 on Tuesdays, 14 November - 12 December.
• Venues: Lectures and exercise classes will be in Room 2.19. The labs will be in the MSc lab (2.25a & 2.25b).

Slides

• Week 1 slides on modal logic (with minute updates): PostScript (4 pages on 1), PDF (4 pages on 1)
• Week 2 slides on modal logic (with updates): PostScript (4 pages on 1), PDF (4 pages on 1)
• Week 2 slides on description logic (with updates): PostScript (4 pages on 1), PDF (4 pages on 1)
• Uli's slides on icom, non-standard, temporal and defaults: PDF (4 pages on 1)

Reading material

The module does not follow a specific book: copies of the slides are made available.

Recommended reading material is listed on the course description webpage. The list is not final and may change until the start of the course unit.

The books on the webpage are available in the Resources Centre Library.

There is no need to buy a book for this course unit.

Other resources

• MSPASS Website
• SPASS Website
• SPASS Tutorial

Assessment

60% coursework, 40% exam

Of the coursework: 30% for essay, 35% for Uli's weekly coursework, 35% for Renate's weekly coursework