13th International Conference on Rewriting Techniques and Applications (part of the Federated Logic Conference FLoC'02). Copenhagen, Denmark; 22--24 July 2002.
Eighth International Conference on Principles of Knowledge Representation and Reasoning. In conjunction with AIPS2002, KSCO'02 and NMR'02. Toulouse, France; 22--25 April 2002.
- ILP 2001
Eleventh International Conference on Inductive Logic Programming. Co-located with the Third International Workshop on Learning Language in Logic. Strasbourg, France; September 8--9, 2001.