Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

  Formal models of argumentation for legal applications


   School of Electrical Engineering, Electronics and Computer Science

This project is no longer listed on FindAPhD.com and may not be available.

Click here to search FindAPhD.com for PhD studentship opportunities
  Prof K Atkinson, Prof B Konev  No more applications being accepted  Funded PhD Project (European/UK Students Only)

About the Project

This PhD programme will explore an open branch of work within the larger body of research on AI and Law being conducted in the Department of Computer Science at the University of Liverpool. Applied work with law firms is/has been conducted through collaborative projects held in the Department with local and national law firms. This applied work is based on theoretical foundations from the field of computational models of argument and their application in law, and work on this topic from the University of Liverpool has been published in numerous conference and journal papers. However, theoretical lines of investigation remain open and this project will address one such line, specifically, semantics of argument representation techniques when applied to real world legal examples. It is expected that the PhD programme will contribute new theoretical insights and outcomes that will ultimately be relevant for the ongoing projects with law firms. Attributes needed for this PhD programme are:
- A background in formal logic
- The ability to think abstractly
- Willingness to interact with industrial partners to demonstrate applicability of formal, technical material
- Programming skills would be an advantage


Funding Notes

Applications from UK, EU and overseas/international students are welcome. Scholarship is provided at a level of £20,000 for 3 years. For UK/EU students this covers all fees and provides a living stipend of £14, 553 per year, for overseas/international students, this will only cover tuition fees. There will be a requirement for the successful applicant to provide a few hours per week as a GTA.

References

Key background references are:
- G. Brewka, H. Strass, S. Ellmauthaler, J. Wallner and S. Woltran: Abstract Dialectical Frameworks Revisited. In: Proceedings of International Joint Conference on Artificial Intelligence, 2013, pages 803-809.

- L. Al-Abdulkarim, K. Atkinson and T. Bench-Capon: A methodology for designing systems to reason with legal cases using Abstract Dialectical Frameworks. Artificial Intelligence and Law, 2016, Volume 24(1), pages 1-49.

Where will I study?