Author: International Conference on Logic Programming (23rd 2007 Porto, Portugal)