International Conference on Logic Programming: DOCTORAL CONSORTIUM