Here is confirmation of the post-course assignments for CS616.

Just a few reminders:

  o Deadline for full-time students is 3rd March
    (for part-time students: 2 weeks before the CS616 Exam)
    Please contact us in good time if you may have a problem with this
  o We do expect you to work independently!
  o Please carefully read the project descriptions and notes in the
    `Post-Course Assignment' document, so that you are clear what you
    need to do. If you do have any questions regarding this, please
    contact us.
  o Length guide line for essay style project: 15-20 pages
  o Please contact us if you have questions. Supervisors are indicated below.

|----------------------------------------------------------------------------------------|
|Supervisor  | Name                  |  Project                                          |
|----------------------------------------------------------------------------------------|
| US         | Hadjchambis, Ioannis  | 1. What is-a is and isn't                         |
| US         | Huang, Sinan          | 1. What is-a is and isn't                         |
| RS         | Jiang, Hao            | 2. Modal logic model checking                     |
| RS         | Shearer, Rob          | 2. Modal logic model checking                     |
| US         | Pedrial, Walter       | 3. Modal systems for knowledge and belief         |
| US         | Wang, Kaixuan         | 3. Modal systems for knowledge and belief         |
| US         | David Hacket          | 3. Modal systems for knowledge and belief         |
| RS         | Xi, Chenchen (a,b,c?) | 4. Translating modal logics into FOL              |
| RS         | Colin  (a,b,c?)       | 4. Translating modal logics into FOL              |
|            |                       |    (a) (optimised) functional translation method  |
|            |                       |    (b) semi-functional translation method         |
|            |                       |    (c) tree-layered translation method            |
| RS         | Abu-Khaznah, Ahmed    | 5. Using resolution for modal logic               |
| RS         | Mostafavi, Sayyed     | 5. Using resolution for modal logic               |
| RS         | Kerbache,Samir        | 6. Implementing a convenient ML interface ...     |
|            |                       | 7. Tableaux for modal logics                      |
| US         | Antoniou, Stavros     |    (a) Single-step tableaux by Massacci           |
| US         | Penwill, Charles      | 8. Natural deduction for modal logics             |
| US         | Chen, M S             | 11. Implementing a DL tableau reasoner            |
|            | Singh, Parminer       | ???                                               |
|----------------------------------------------------------------------------------------|