COMP521 - Knowledge Representation

Brief Description

The module on "knowledge representation" covers topics such as: introduction to knowledge representation (KR) and logic for KR, introduction to modal and description logics, modal logics, description logics and applications of modal logic. The module is intended for MSc students with a computer science (or related) first degree, and computer science MEng students.

Recommended texts

Epistemic Logic for AI and Computer Science, J.-J.Ch. Meyer and W. van der Hoek, Cambridge Tracts in Theoretical Computer Science 41, 1995.

S. Russell and P. Norvig: Artificial Intelligence: A Modern Approach. Prentice Hall (2003).

Member of staff with responsibility for the module:

Prof W Van der Hoek

On-line Resources for this Module

Syllabus	Full Syllabus details for COMP521
Resources	Modules notes

Other Modules

Module Code	Module Title
COMP305	Biocomputation
COMP323	Introduction to Computational Game Theory
COMP516	Research Methods in Computer Science
COMP517	Software Development
COMP518	Database and Information Systems
COMP519	Web Programming
COMP521	Knowledge Representation
COMP522	Privacy and Security
COMP523	Advanced Algorithmic Techniques
COMP557	Optimisation

COMP310	Multi-Agent Systems
COMP315	Technologies for eCommerce
COMP317	Semantics of Programming Languages
COMP318	Advanced Web Technologies
COMP524	Safety and Dependability
COMP525	Reasoning about Action & Change
COMP526	Applied Algorithmics
COMP527	Data Mining
COMP528	Multi-core Programming
COMP558	Network Games
COMP559	Computational Auctions and Mechanism Design

Events...
June 2012
Opendays
Sept 2012
Openday
Oct 2012
Openday

Please report any problems to the email address at the bottom of the page.