Logic Programming: The 14th International Conference - Naish (IEEE, 2003)