Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005. Proceedings - Gabbrielli, Maurizio; Gupta, Gopal (Springer Berlin Heidelberg, 2005)