Research interests

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:

• 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
  • Abduction