Students are selected on the basis of the following rules:
- For each student his/her achievements with respect to the criteria ``undergraduate education'', ``logic'', ``theoretical computer science'' , ``artificial intelligence'' and ``declarative programming'' are evaluated using the labels ``++'', ``+'', ``0'' and ``-'' with the ordering .
- Applicants are ranked with respect to the above mentioned ordering, where the achievements in their undergraduate education are stronger rated than the achievements in logic, which are stronger rated than the achievements in theoretical computer science, which are stronger rated than the achievements in artificial intelligence, which are stronger rated than the achievements in declarative programming.
- If two applicants are equal, then they are ranked according to their proficiency in English.
- Applicants with ``0'' or less in their undergraduate education and in logic are rejected.