ICLP 2003, International Conference on Logic Programming, Mumbai (Bombay), India