My research interests currently revolve around aspects related to Artificial Intelligence, especially in the formalisation of common-sense reasoning. These include belief revision, abduction, argumentation theory and non-monotonic reasoning in general.
I work both with the theoretical aspects AI, e.g., foundations of AI, translations between logical systems, belief revision in non-classical logics, merging of argumentation systems, as well as with the application of AI in computer science, including optmisation techniques for requirements engineering, implementation of non-monotonic reasoning systems, BDI systems, concept classification and the like.
The main areas of research interest are summarised below:
Click here for a somewhat out of date list of publications.
- Artificial Intelligence
- Agents systems
- BDI reasoning
- Optimisation, searching, etc
- Formalisation of the common-sense reasoning
- Non-monotonic reasoning
- Belief revision
- Database updates
- Argumentation theory
- Voting problems and preference aggregation