Logic Programming: The 11th International Conference - Van Hentenryck (IEEE, 2003)