MRes Advanced Computer Science (Artificial Intelligence)
Aims of this Pathway
To provide advanced training for students in modern approaches to knowledge representation
and reasoning, that is suitable for those seeking a career in this area or wishing to
undertake further Ph.D. study.
Subject based Learning Outcomes
To provide
- A solid background in the theory of knowledge representation and reasoning.
- Training in research project planning, analysis and evaluation of results;
and the writing of research reports.
- An in depth understanding of a particular current research theme within the
domain of knowledge representation and reasoning.
45 Credits of taught modules
| Code | Title | Level | Credits | Semester |
|
Compulsory
|
| COMP521 | Knowledge Representation | M | 15 | 1 |
| COMP525 | Reasoning About Action & Change | M | 15 | 2 |
|
15 Credits from
|
| COMP523 | Advanced Algorithmic Techniques | M | 15 | 1 |
| COMP522 | Privacy and Security | M | 15 | 1 |
| COMP305 | Biocomputation | 3 | 15 | 1 |
| COMP311 | Semistructured or Web-Like Databases | 3 | 15 | 1 |
| COMP524 | Safety and Dependability | M | 15 | 2 |
| COMP526 | Applied Algorithmics | M | 15 | 2 |
| COMP527 | Data Mining | M | 15 | 2 |
| COMP310 | Multi-Agent Systems | 3 | 15 | 2 |
| COMP315 | Technologies for eCommerce | 3 | 15 | 2 |
| COMP317 | Semantics of Programming Languages | 3 | 15 | 2 |
| COMP318 | Advanced Web Technologies | 3 | 15 | 2 |
Indicative Research Projects
- Efficient Temporal Resolution
- Tableau algorithms for Non-Classical Logics
- Temporal Logic with Counting Constraints
- A model checker for ATL, a temporal cooperation logic.
- An automated proof of Arrow's theorem.
- Verifying properties of social choice procedures.
- An investigation into heuristic approaches to election manipulation.
Please report any problems to the email address at the bottom of the page.
