• University of Leeds Featured PhD Programmes
  • Carlos III Health Institute Featured PhD Programmes
  • University of Bristol Featured PhD Programmes
  • University of Cambridge Featured PhD Programmes
  • University of Mannheim Featured PhD Programmes
  • University of Glasgow Featured PhD Programmes
  • London School of Economics and Political Science Featured PhD Programmes
  • University of Leeds Featured PhD Programmes
Wellcome Trust Featured PhD Programmes
King’s College London Featured PhD Programmes
University of Warwick Featured PhD Programmes
University of Kent Featured PhD Programmes
University of Bristol Featured PhD Programmes

Solving decidability problems using automated reasoning techniques

This project is no longer listed in the FindAPhD
database and may not be available.

Click here to search the FindAPhD database
for PhD studentship opportunities
  • Full or part time
    Dr Schmidt
  • Application Deadline
    Applications accepted all year round
  • Competition Funded PhD Project (Students Worldwide)
    Competition Funded PhD Project (Students Worldwide)

Project Description

Decidability problems are among the most important and deeply studied problems in computer science, mathematics and logic. Decidability problems involve finding a decision procedure for a problem or proving that no decision procedure exists. Procedures that can determine in a finite number of steps whether a property (expressed as a formula) is true, or not, in a formalisation are decision procedures.

In this project the aim is to use automated reasoning techniques as tools to solve decidability problems related to modal logics, description logics and solvable fragments of first-order logic and applications such as ontology engineering and agent-based systems.

Because we are interested in having actually running systems the aim will be to develop practical, i.e. implementable, decision procedures.

Using techniques from automated reasoning has the advantage that practical decision decision procedures can often be obtained with modest implementation effort. Our interest is, in particular, developing resolution decision procedures. Resolution provides a very powerful theoretical framework for developing decision procedures and many well-developed resolution theorem provers exist which follow this framework and provide platforms for obtaining practical decision procedures.

The project is ideal for someone with a keen interest in computational logic, artificial intelligence, formal methods and automated reasoning.

Funding Notes

Candidates who have been offered a place for PhD study in the School of Computer Science may be considered for funding by the School. Further details on School funding can be found at: http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/funding/school-studentships/.

References

For further details about this project, please see here: http://www.cs.manchester.ac.uk/study/postgraduate-research/projects/?projectid=923

The minimum requirements to get a place in our PhD programme are available from:
http://www.cs.manchester.ac.uk/study/postgraduate-research/programmes/phd/apply/entry/

How good is research at University of Manchester in Computer Science and Informatics?

FTE Category A staff submitted: 44.86

Research output data provided by the Research Excellence Framework (REF)

Click here to see the results for all UK universities
Share this page:

Cookie Policy    X