Research‎ > ‎


I tent to not label myself as an AI researcher because meaning of AI varies across different people. To me, the term Artificial Intelligence means the common part that everyone can agree on.

It is very difficult to specify the areas of AI that I am particularly interested in. They interact with each other. For example, in robotics you need planning and in planning you need searching.

In general, I am interested in the following fields of/related to AI:
  • planning and search
  • declarative programming and AI (e.g., ASP, CSP, SAT)
  • machine learning
  • robotics (which can include several things above, such as planning and learning)

Selected Projects

Declarative programming and AI

Some parts of AI are related to a programming paradigm known as declarative programming. For example, in knowledge representation and reasoning, the tools to represent knowledge are usually based on logic programming while the reasoning algorithms can be inspired by research in constraint programming. Unlike imperative programming (where users specify the algorithms to solve specific problems), the idea of declarative programming is very attractive:

The user states the problem, the computer solves it.

-- E. C. Freuder. In Pursuit of the Holy Grail, Constraints, vol. 2, pp. 57-61, 1997

Hence, it is directly related to the motivation of AI that is to build a machine that can think.

I am interested in the solving techniques and applications of the following fields:

  • Automated Planning and Scheduling
  • Answer Set Programming (ASP)
  • Constraint Satisfaction Problem (CSP)
  • Boolean Satisfiability (SAT)

Tutorials about ASP/CSP/SAT

Constraint solving

Interesting Applications

Software Systems


Related Groups