Logic Programming: The 12th International Conference - Sterling (IEEE, 2003)