next up previous contents
Next: Logic Programming Up: Descriptions of Courses and Previous: Introduction to Vision and   Contents

Subsections

Knowledge Representation and Engineering

Here are links to the course home page and the formal TQA description.

Description

The module looks at languages and techniques for encoding, sharing, and reasoning with information represented in symbolic fashion. It also covers methodologies important to the development and application of knowledge based systems in the context of the internet.

Syllabus

Assessed Coursework

Two practical exercises.

References:

[] Course notes will be made available.

** Ronald Fagin et al., Reasoning about knowledge, MIT Press.


next up previous contents
Next: Logic Programming Up: Descriptions of Courses and Previous: Introduction to Vision and   Contents
Colin Stirling 2006-01-05